Saltar para o conteúdo

Neil Immerman

Origem: Wikipédia, a enciclopédia livre.
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
Página oficial
http://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]

  1. a b Faculty directory: Neil Immerman, Computer Science Department, University of Massachusetts Amherst, retrieved 2010-01-23.
  2. Editorial board, SIAM Journal on Computing, retrieved 2010-01-23.
  3. Editorial board, Logical Methods in Computer Science, retrieved 2010-01-23.
  4. Neil Immerman (em inglês) no Mathematics Genealogy Project.
  5. 1995 Gödel Prize, ACM SIGACT, retrieved 2010-01-23.
  6. ACM Fellows Award / Neil Immerman, Association for Computing Machinery, retrieved 2010-01-23.
  7. 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-fonte]