|
Neil Immerman
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
Enlaces externos
|
||||||||||||||||||||||||||||||||||||||||||||||||||
