Neil Immerman

Neil Immerman
Información personal
Nacimiento	24 de noviembre de 1953 (70 años); Manhasset (Estados Unidos)
Residencia	Estados 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
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.^[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]

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