Neil Immerman es un informático teórico estadounidense, profesor de ciencias de la computación en la Universidad Amherst Massachusetts.Directorio de la Facultad: Neil Immerman, Departamento de Ciencias de Computación, Universidad Amherst Massachusetts, revisado el 30 de abril de 2010. Es uno de los desarrolladores clave de la teoría de la complejidad descriptiva.
Immerman es editor de la SIAM Journal on ComputingEditorial board, SIAM Journal on Computing, revisado el 30 de abril de 2010. y de Logical Methods in Computer Science.Editorial board, Logical Methods in Computer Science, revisado el 20 de abril de 2010. 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.Neil Immerman en el Mathematics Genealogy Project. Su libro "Descriptive Complexity" apareció fue publicado en 1999.Graduate Texts in Computer Science, Springer-Verlag, ISBN 9780387986005.
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.Premio Gödel de 1995, ACM SIGACT, revisado el 30 de abril de 2010. Immerman es miembro honorario de la ACMACM Fellows Award / Neil Immerman, Association for Computing Machinery, revisado el 30 de abril de 2010. y un becado por la Beca Guggenheim.Neil Immerman, John Simon Guggenheim Memorial Foundation, revisado el 30 de abril de 2010.
Referencias
Enlaces externos Sitio oficial de Immerman en la Universidad de Amherst Massachusetts.
Categoría:Informáticos teóricos de Estados Unidos Categoría:Miembros honorarios de la Association for Computing Machinery Categoría:Premio Gödel Categoría:Nacidos en Manhasset