Neil 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.

Neil Immerman
Neil Immerman
Nascimento	24 de novembro de 1953 (71 anos) Manhasset
Cidadania	Estados Unidos
Alma mater	Universidade Cornell Universidade Yale Universidade de Massachusetts Amherst
Ocupação	matemático, cientista de computação, engenheiro, professor universitário
Distinções	Bolsa Guggenheim (2003) Prêmio Gödel (1995) ACM Fellow (2002)
Empregador(a)	Universidade de Massachusetts Amherst
Orientador(a)(es/s)	Juris Hartmanis, Anil Nerode
Página oficial
https://www.cs.umass.edu/~immerman
[edite no Wikidata]

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]