- Program Analysis, Fall 2013
Graduate course on program analysis and synthesis techniques.
- Programming Languages Seminar, Fall 2013
PhD seminar on advances in programming languages, co-taught with Prof. Peter Müller.
- Software Engineering Seminar, Fall 2013
Undergraduate seminar on program analysis and high-performance computing, co-taught with Prof. Torsten Hoefler
- 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.