Neil Immerman
| Neil Immerman | |
|---|---|
 | |
| Nascimento | 24 de novembro de 1953 (71 anos) Manhasset |
| Cidadania | Estados Unidos |
| Alma mater | |
| Ocupação | matemático, cientista de computação, engenheiro, professor universitário |
| Distinções |
|
| Empregador(a) | Universidade de Massachusetts Amherst |
| Orientador(a)(es/s) | Juris Hartmanis, Anil Nerode |
| Página oficial | |
| https://www.cs.umass.edu/~immerman | |
Neil Immerman (24 de novembro de 1953, cidade de Manhasset, Nova Iorque) é um teórico cientista da computação americano, professor de ciência da computação da Universidade de Massachusetts Amherst.[1] Ele é um dos principais desenvolvedores da complexidade descritiva, uma abordagem que ele está aplicando atualmente à pesquisa em verificação de modelo (model checking), teoria de banco de dados, e a teoria da complexidade computacional.
Professor Immerman é um editor do SIAM Journal on Computing[2] and of Logical Methods in Computer Science.[3] Ele é graduado pela Universidade de Yale em 1974, e Ph.D. pela Universidade Cornell em 1980 sob a orientação de Juris Hartmanis, um ganhador do Prêmio Turing da Universidade Cornell.[1][4] Seu livro "Descriptive Complexity" foi publicado em 1999.
Immerman é o vencedor, juntamente com Róbert Szelepcsényi, do Prêmio Gödel de 1995 em informática teórica pela prova do que hoje é conhecido como o teorema de Immerman–Szelepcsényi, o resultado que classes de complexidade de espaço não determinístico são fechadas sob complementação.[5] Immerman é um ACM Fellow[6] e uma Guggenheim Fellow.[7]
Referências
[editar | editar código]- ↑ a b Faculty directory: Neil Immerman, Computer Science Department, University of Massachusetts Amherst, retrieved 2010-01-23.
- ↑ Editorial board, SIAM Journal on Computing, retrieved 2010-01-23.
- ↑ Editorial board, Logical Methods in Computer Science, retrieved 2010-01-23.
- ↑ Neil Immerman (em inglês) no Mathematics Genealogy Project.
- ↑ 1995 Gödel Prize, ACM SIGACT, retrieved 2010-01-23.
- ↑ ACM Fellows Award / Neil Immerman, Association for Computing Machinery, retrieved 2010-01-23.
- ↑ Neil Immerman Arquivado em 4 de junho de 2011, no Wayback Machine., John Simon Guggenheim Memorial Foundation, retrieved 2010-01-23.
Ligações externas
[editar | editar código]- Immerman home page na U. de Massa. Amherst