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.Faculty directory: Neil Immerman, Computer Science Department, University of Massachusetts Amherst, retrieved 2010-01-23. 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 ComputingEditorial board, SIAM Journal on Computing, retrieved 2010-01-23. and of Logical Methods in Computer Science.Editorial board, Logical Methods in Computer Science, retrieved 2010-01-23. 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.Faculty directory: Neil Immerman, Computer Science Department, University of Massachusetts Amherst, retrieved 2010-01-23.. 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.1995 Gödel Prize, ACM SIGACT, retrieved 2010-01-23. Immerman é um ACM FellowACM Fellows Award / Neil Immerman, Association for Computing Machinery, retrieved 2010-01-23. e uma Guggenheim Fellow.Neil Immerman , John Simon Guggenheim Memorial Foundation, retrieved 2010-01-23.
Referências
Ligações externas Immerman home page na U. de Massa. Amherst Categoria:Cientistas da computação dos Estados Unidos Categoria:Alunos da Universidade Cornell Categoria:Fellows da ACM Categoria:Bolsistas Guggenheim Categoria:Pessoas vivas Categoria:Professores da Universidade de Massachusetts Amherst