Professor, Department of Computer Science
Professor 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.
×
About Neil Immerman
Professor 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.
| Present | Professor, Department of Computer Science, University of Massachusetts Amherst | |
|
|
||
Disciplines
Research Interests
Links
Contact Information
374 Computer Science Building
140 Governors Drive
University of Massachusetts
Amherst, MA 01003
413-545-1862
Email: