TU Kaiserslautern:
- Compositional Techniques for Synthesis and Verification (Co-instructor), SS 2018
- Advanced Automata Theory (teaching assistant), SS 2017
TU Berlin:
During my time at TU Berlin I was working as a teaching assistant and coordinator for the following courses:
- Grundlagen der Regelungstechnik (control fundamentals) 2010 to 2015
- Mehrgrößenregelsysteme (multivariable control), 2010 to 2014
- Praktikum Mehrgrößenregelsysteme (laboratory), 2010 to 2012