Neil Immerman
| Neil Immerman | ||
|---|---|---|
 Neil Immerman en 2010 | ||
| Información personal | ||
| Nacimiento |
24 de noviembre de 1953 (71 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) | |
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.
Enlaces externos
[editar]- Sitio oficial de Immerman en la Universidad de Amherst Massachusetts.
| Control de autoridades |
|
|---|
Datos: Q93057