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 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. 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. Immerman is an ACM Fellow and a Guggenheim Fellow.


Recent Publications     and      Recent Talks


Office Hours (Spring 2008):Mon. 2:30 - 3:30, Tues. 1:30 - 2:30, and by appointment.
Teaching (Spring, 2008):CS 601: Theory of Computation      and      Theory Seminar


Phone: (413) 545-1862
FAX: (413) 545-1249
Email: immerman at cs.umass.edu

Department of Computer Science
140 Governor's Drive, Room 374
University of Massachusetts
Amherst, MA 01003-9264

If you want to find me, here are directions to UMass and a campus map.


Other Stuff: