Assistant Professor, Cheriton School of Computer Science
Research interests
- SAT/SMT Solvers and Higher-Order Provers
- Software Engineering
- Formal Methods
- Automated Testing
- Program Analysis
- Computer Security
- Mathematical Logic
- Foundations of Mathematics