I participated in teaching the following classes.
- Yale: CPSP730 (F12): Advanced Formal Methods Topics (with Zhong Shao)
- Yale: CPSP721 (S12): Advanced Programming Language Topics (with Zhong Shao)
- LMU: Komplexitätstheorie (WS 08/09) (with Martin Hofmann)
- LMU: Repetitorium Informatik 1 (WS 07/08) (with Jan Johannsen)