Neil Immerman

Neil Immerman Imagem na Infobox. Neil Immerman em 2010. Biografia
Aniversário 24 de novembro de 1953
Manhasset
Nacionalidade americano
Treinamento Universidade de Massachusetts na
Universidade Amherst Yale (1974)
Cornell University ( Philosophiæ doctor ) (1980)
Atividades Matemático , cientista da computação , engenheiro , professor universitário
Outra informação
Trabalhou para Universidade de Massachusetts em Amherst
Áreas TI especialista , TI
Diretores de teses Juris Hartmanis , Anil Nerode
Local na rede Internet www.cs.umass.edu/~immerman
Prêmios Prêmio
Gödel de Companheiro ACM (1995)
Bolsa Guggenheim (2003)
Trabalhos primários
Teoria da Complexidade Descritiva (1999)
Teorema de Immerman-Szelepcsényi

Neil Immerman , nascido em24 de novembro de 1953Em Manhasset, no estado de Nova York , é um cientista da computação americano , especialista em ciência da computação teórica , professor de ciência da computação na Universidade de Massachusetts em Amherst . Ele é um dos principais desenvolvedores de complexidade descritiva , uma abordagem que ele usa atualmente para pesquisas em verificação de modelos , teoria de banco de dados e teoria da complexidade computacional .

Neil Immerman é editor da revista científica SIAM Journal on Computing and Logical Methods in Computer Science . Ele obteve o bacharelado e o mestrado na Yale University em 1974, e o Ph.D. na Cornell University em 1980, sob a supervisão de Juris Hartmanis , também vencedor do Prêmio Turing . Seu livro Descriptive Complexity foi publicado em 1999.

Immerman é laureado, junto com Róbert Szelepcsényi , do Prêmio Gödel em 1995, prêmio em ciência da computação teórica que lhe foi concedido pela prova do que é conhecido como teorema de Immerman-Szelepcsényi , resultado que prova que as aulas de complexidade do NSPACE estão encerradas por complementação. Immerman é um distinto membro da Association for Computing Machinery ( ACM Fellow ) e um membro da Fundação Guggenheim .

Referências

  1. diretório Faculdade: Neil Immerman , Departamento de Ciência da Computação, University of Massachusetts Amherst , acessado 23 de janeiro, 2010.
  2. Conselho Editorial do SIAM Journal on Computing , acessado em 23 de janeiro de 2010.
  3. Conselho Editorial , Métodos Lógicos em Ciência da Computação , acessado em 23 de janeiro de 2010.
  4. (em) "  Neil Immerman  " no site do Mathematics Genealogy Project .
  5. Textos de Graduação em Ciência da Computação, Springer-Verlag, ( ISBN  978-0-387-98600-5 ) .
  6. Gödel price 1995 , ACM SIGACT , acessado em 23 de janeiro de 2010.
  7. Prêmio ACM Fellows / Neil Immerman , ACM , acessado em 23 de janeiro de 2010.
  8. Neil Immerman , Fundação John Simon Guggenheim, acessado em 23 de janeiro de 2010.
(fr) Este artigo foi retirado parcial ou totalmente do artigo da Wikipedia em inglês intitulado "  Neil Immerman  " ( ver a lista de autores ) .

links externos