 |
This biography of a living person does not cite any references or sources. Please help by adding reliable sources. Contentious material about living people that is unsourced or poorly sourced must be removed immediately. This was added automatically. If it is wrong, it may be removed. If it is correct, the "bot=yes" may be removed to hide this message. (August 2009) Find sources: (Neil Immerman – news, books, scholar) |
Neil Immerman is one of the key developers of descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory.
Professor Immerman is an editor of the SIAM Journal on Computing and of Logical Methods in Computer Science. He received B.S. and M.S. degrees from Yale University in 1974 and his Ph.D. from Cornell University in 1980 under the supervision of Juris Hartmanis, another Turing award winner at Cornell. His book "Descriptive Complexity" appeared in 1999.
Immerman is the winner, jointly with Róbert Szelepcsényi, of the 1995 Gödel Prize in theoretical computer science for proof of what is known as Immerman-Szelepcsényi Theorem. Immerman is an ACM Fellow and a Guggenheim Fellow.
Currently he is a professor at the University of Massachusetts Amherst.
|
|||||
 |
This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)
