Neil Immerman

from Wikipedia, the free encyclopedia
Neil Immerman (2010)

Neil Immerman (born November 24, 1953 in Manhasset , New York ) is an American scientist in the field of theoretical computer science and professor at the University of Massachusetts Amherst .

Life

Immerman studied at Yale , where he received his master's degree in 1974. A PhD followed at Cornell University .

In 1995 he and Róbert Szelepcsényi received the Gödel Prize for proving the Immerman and Szelepcsényi theorem . In 1999 his book on descriptive complexity theory was published .

Honors

Web links

Individual evidence

  1. ^ Neil Immerman: Descriptive complexity - Graduate texts in computer science. Springer, New York et al. 1999, ISBN 0-387-98600-6 .