Neil Immerman

Neil Immerman

Neil Immerman en 2010
Información personal
Nacimiento 24 de noviembre de 1953 Ver y modificar los datos en Wikidata (72 años)
Manhasset (Estados Unidos) Ver y modificar los datos en Wikidata
Residencia Estados UnidosEstados Unidos
Nacionalidad Estadounidense
Educación
Educado en Universidad Cornell
Universidad Yale
Supervisor doctoral Juris Hartmanis
Información profesional
Área Ciencias de la computación
Conocido por Teorema de Immerman-Szelepcsényi
Empleador Universidad Amherst Massachusetts
Miembro de ACM
Sitio web www.cs.umass.edu/~immerman Ver y modificar los datos en Wikidata
Distinciones Premio Gödel (1995)
[editar datos en Wikidata]

Neil Immerman es un informático teórico estadounidense, profesor de ciencias de la computación en la Universidad Amherst Massachusetts. Es uno de los desarrolladores clave de la teoría de la complejidad descriptiva.

Immerman es editor de la SIAM Journal on Computing y de Logical Methods in Computer Science. Recibió su grados académicos de B.S. y M.S. en la Universidad Yale en 1974 y su Ph.D. en la Universidad Cornell en 1980 bajo la supervisión de Juris Hartmanis, ganador del Premio Turing en Cornell. Su libro "Descriptive Complexity" apareció fue publicado en 1999.

Immerman es el ganador, junto con Róbert Szelepcsényi, del Premio Gödel otorgado en 1995 por su demostración del Teorema de Immerman-Szelepcsényi, un resultado que dice que las clases de complejidad NSPACE son cerradas bajo la operación complemento. Immerman es miembro honorario de la ACM y un becado por la Beca Guggenheim.

Referencias

  1. 1 2 Directorio de la Facultad: Neil Immerman, Departamento de Ciencias de Computación, Universidad Amherst Massachusetts, revisado el 30 de abril de 2010.
  2. ↑ Editorial board, SIAM Journal on Computing, revisado el 30 de abril de 2010.
  3. ↑ Editorial board, Logical Methods in Computer Science, revisado el 20 de abril de 2010.
  4. ↑ Neil Immerman en el Mathematics Genealogy Project.
  5. ↑ Graduate Texts in Computer Science, Springer-Verlag, ISBN 9780387986005.
  6. ↑ Premio Gödel de 1995, ACM SIGACT, revisado el 30 de abril de 2010.
  7. ↑ ACM Fellows Award / Neil Immerman, Association for Computing Machinery, revisado el 30 de abril de 2010.
  8. ↑ Neil Immerman, John Simon Guggenheim Memorial Foundation, revisado el 30 de abril de 2010.

Enlaces externos