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