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