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. 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" and of "Logical Methods in Computer Science". 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. 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. Immerman é um ACM Fellow e uma Guggenheim Fellow.
cidade de Manhasset, Nova Iorque
UNK
Q2878974
teórico cientista da computação
Concept
Universidade de Massachusetts Amherst
UNK
Q49112
Universidade de Yale
ORG
Q49115
Universidade Cornell
ORG
Q92628
Juris Hartmanis
PER
Q185667
Prêmio Turing
EVE
Róbert Szelepcsényi
UNK
Q1417143
Prêmio Gödel
EVE
Q744440
teorema de Immerman–Szelepcsényi
MISC
Q4720939
fechadas
Concept
Q242767
complementação
Concept
ACM Fellow
UNK
Q1316544
Guggenheim Fellow
MEDIA
Q93057
Neil Immerman
PER
1953-11-24T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
24 de novembro de 1953
DATE
+1974^^http://www.w3.org/2001/XMLSchema#decimal
1974
NUMBER
+1980^^http://www.w3.org/2001/XMLSchema#decimal
1980
NUMBER
+1999^^http://www.w3.org/2001/XMLSchema#decimal
1999
NUMBER
+1995^^http://www.w3.org/2001/XMLSchema#decimal
1995
NUMBER
date of birth
educated at
doctoral advisor
award received
award received
award received