Courses
- Computer Science I for Mechanical Engineers (Fall 2026)
- Computer Science I for Electrical Engineers (Spring 2026)
- Formal Methods and Functional Programming (Spring 2021, as a student TA)
Student Supervision
- Refining Viper's Dependency Analysis for Concrete Executions by Joel Hollenstein (Spring 2026)