About
I am interested broadly in connections between logic, computation, and mathematics. My current research interests include:
- Type theory
- Theory and applications of proof assistants
- Computer-aided verification and deduction
- Constructive Logic
- Category Theory
- Computational mathematics
Research Website
Contact
Office
332 Gates Hall
Faculty (Department)
Visiting Academic
Computer Science