Neil Immerman (nacido el 24 de noviembre de 1953 en Manhasset, Nueva York ) es un informático teórico estadounidense , profesor de informática en la Universidad de Massachusetts Amherst . [1] Es uno de los desarrolladores clave de la complejidad descriptiva , un enfoque que está aplicando actualmente a la investigación en verificación de modelos, teoría de bases de datos y teoría de la complejidad computacional.
El profesor Immerman es editor del SIAM Journal on Computing [2] y de Logical Methods in Computer Science . [3] Recibió una licenciatura y una maestría de la Universidad de Yale en 1974 y su doctorado. de la Universidad de Cornell en 1980 bajo la supervisión de Juris Hartmanis , ganador del Premio Turing en Cornell. [1] [4] Su libro Descriptive Complexity apareció en 1999. [5]
Immerman es el ganador, junto con Róbert Szelepcsényi , del premio Gödel 1995 en informática teórica por la demostración de lo que se conoce como el teorema de Immerman-Szelepcsényi , resultado de que las clases de complejidad espacial no determinista se cierran bajo complementación . [6] Immerman es miembro de ACM [7] y miembro de Guggenheim . [8]
Referencias
- ^ a b Directorio de la facultad: Neil Immerman , Departamento de Ciencias de la Computación, Universidad de Massachusetts Amherst , consultado el 23 de enero de 2010.
- ↑ Editorial board , SIAM Journal on Computing , consultado el 23 de enero de 2010.
- ↑ Editorial board , Logical Methods in Computer Science , consultado el 23 de enero de 2010.
- ^ Neil Immerman en el Proyecto de genealogía de las matemáticas .
- ^ Reseñas de complejidad descriptiva :
- Dawar, Anuj (2001), Revisiones matemáticas , MR 1732784CS1 maint: publicación periódica sin título ( enlace )
- Klonowski, W. (2001), Dinámica discreta en la naturaleza y la sociedad , 6 : 57–62, doi : 10.1155 / S1026022601000061CS1 maint: publicación periódica sin título ( enlace )
- Lindell, Steven (diciembre de 2001), The Bulletin of Symbolic Logic , 7 (4): 525–527, doi : 10.2307 / 2687799 , JSTOR 2687799 , S2CID 117907732CS1 maint: publicación periódica sin título ( enlace )
- Schöning, Uwe , zbMATH , Zbl 0918.68031CS1 maint: publicación periódica sin título ( enlace )
- ^ Premio Gödel 1995 , ACM SIGACT , consultado el 23 de enero de 2010.
- ↑ ACM Fellows Award / Neil Immerman , Association for Computing Machinery , consultado el 23 de enero de 2010.
- ^ Neil Immerman Archivado el 4 de junio de 2011 en la Wayback Machine , Fundación en memoria de John Simon Guggenheim, consultado el 23 de enero de 2010.
enlaces externos
- Página de inicio de Immerman en U. Mass. Amherst