Areas of interest
Research Interests:
Program synthesis
Automated refactoring
Automated verification
Functional programming
Teaching Interests:
Programming languages
Formal reasoning
Automated analysis
Education
- PhD, Computer Science, Princeton University,2020
- MA, Mathematics, University of Pennsylvania, 2013
- BSE, Computer Science and Mathematics, University of Pennsylvania, 2013
Courses
Spring 2025
Future courses may be subject to change.