Neil Immerman

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Neil Immerman
Residencia Flag of the United States.svg Estados Unidos
Nacionalidad Estadounidense
Campo Ciencias de la computación
Instituciones Universidad Amherst Massachusetts
Alma máter Universidad Cornell
Universidad Yale
Supervisor doctoral Juris Hartmanis
Conocido por Teorema de Immerman-Szelepcsényi
Sociedades ACM
Premios
destacados
Premio Gödel (1995)

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

Immerman es editor de la SIAM Journal on Computing[2] y de Logical Methods in Computer Science.[3] 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.[1] [4] Su libro "Descriptive Complexity" apareció fue publicado en 1999.[5]

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.[6] Immerman es miembro honorario de la ACM[7] y un becado por la Beca Guggenheim.[8]

Referencias[editar]

  1. a b 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[editar]