Teaching

Courses I am teaching at Yale

1. Fall 2015: Software Analysis and Verification, CPSP 454/554
2. Spring 2015: Software Engineering, CPSP 439/539
3. Fall 2014: Software Analysis and Verification, CPSP 454/554
4. Spring 2014: Software Engineering, CPSP 439/539
5. Fall 2013: Seminar on Decision Procedures, CPSP 729a

Courses I was teaching at Summer Schools

1. Summer School 2016: Verification Technology, Systems & Applications

Courses I was teaching while at MPI-SWS

1. lecturer for the Seminar on Decision Procedures, Winter Semester 2012, Saarland University
2. course "Kann der Computer selbst programmieren? - Die logischen und spieltheoretischen Grundlagen der automatischen Programmsynthese", given at Frühjahrsakademie Papenburg, 2012, together with Bernd Finkbeiner

Courses I was teaching while at EPFL

1. lecturer at the First International SAT/SMT Solver Summer School 2011,MIT, June 2011.
2. co-lecturer for the Seminar on Automated Reasoning, EPFL, 2010.