Frank Pfenning
Professor of Computer Science
Contact
Research
- Programming Languages
- Logic and Type Theory
- Logical Frameworks
- Automated Deduction
- Trustworthy Computing