Teaching

• 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.