![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/9/95/Neil_Immerman.jpg/640px-Neil_Immerman.jpg&w=640&q=50)
Neil Immerman
De Wikipedia, a enciclopédia encyclopedia
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.
Neil Immerman | |
---|---|
Nascimento | 24 de novembro de 1953 (70 anos) Manhasset |
Cidadania | Estados Unidos |
Alma mater | |
Ocupação | matemático, cientista de computação, engenheiro, professor universitário |
Prêmios |
|
Empregador(a) | Universidade de Massachusetts Amherst |
Página oficial | |
http://www.cs.umass.edu/~immerman | |
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]