Neil Immerman
Professor, Department of Computer Science
Disciplines
- Computer Sciences
Research Interests
- Logic in Computer Science
- Computer-aided verification
- Complexity theory
Professor, Department of Computer Science
Associate Professor, Department of Computer Science