- Program Analysis, Fall 2013
Graduate course on program analysis and synthesis techniques.
- Software Engineering and Architecture, Spring 2013
Undergraduate course on how to build realiable and correct software, co-taught with Dr. Michael Pradel
- Automated Techniques for Software Reliability, Autumn 2012
Graduate course on program analysis techniques for software reliability and security.
- Research Topics in Software Engineering, Spring 2012
Seminar on advanced topics in programming languages, co-taught with Prof. Peter Müller.