Neil Immerman

Neil Immerman
	Professor Neil Immerman is one of the key developers of an active research program called descriptive complexity, an approach he is currently applying to research in static analysis, database theory, and computational complexity theory. Professor Immerman is an editor 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. His book Descriptive Complexity appeared in 1999. Immerman is the winner, jointly with Róbert Szelepcsényi, of the 1995 Gödel Prize. Immerman is an ACM Fellow and a Guggenheim Fellow.

Professor Neil Immerman is one of the key developers of an active research program called descriptive complexity, an approach he is currently applying to research in static analysis, database theory, and computational complexity theory. Professor Immerman is an editor 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. His book Descriptive Complexity appeared in 1999. Immerman is the winner, jointly with Róbert Szelepcsényi, of the 1995 Gödel Prize. Immerman is an ACM Fellow and a Guggenheim Fellow.

Publications Recent Talks Professional Activities Teaching Awards CV Politics, etc. Contact Info.

Here is a diagram of the world of computability and complexity:

College of Information and Computer Sciences		Email: lastname at cs.umass.edu
140 Governors Drive, Room 374		Phone: (413) 545-1862
University of Massachusetts Amherst		Fall, 2018: I'm on sabbatical this fall! Still, I am occasionally around. If you want to talk or meet, please email me. Also, CICS is Hiring this year, see 2018-2019 faculty hiring for details.
Amherst, MA 01003-9264		Here is a campus map