Skip to main content
Menu
Toggle menu visibility
Staff
Faculty
Current Students
Prospective Students
Menu
Toggle menu visibility
Academics
Directory
Research
About
News
Events
Search
Toggle search visibility
Search form
Search
Pure and Applied Logic
Faculty working in this area:
Last
First
Title
Email
Heule
Marijn
Associate Professor
mheule@andrew.cmu.edu
Brookes
Stephen
Professor
brookes@cs.cmu.edu
Platzer
André
Professor
aplatzer@cs.cmu.edu
Harper
Robert
Professor
rwh@cs.cmu.edu
Pfenning
Frank
Professor
fp@cs.cmu.edu