TU Kaiserslautern:

• Advanced Automata Theory (instructor), core master course (8 ECTS), since SS 2021 (ongoing)
• Compositional Techniques for Synthesis and Verification (Co-instructor, master seminar), 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