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
Supervised Bachelor/Master Thesis:
- Mehrdad Zareian. Efficient Synthesis of Symbolic Output-Feedback Controllers for Safety Specifications. TU Kaiserslautern. 2022.
- Adrian Leva. Reactive Controller Synthesis for Mobile Robotics. TU Kaiserslautern. 2016. PDF
- Kaushik Mallik. Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems using Deterministic Context Free Specification Languages. TU Berlin. 2015.
- Hendrik Himstedt. Controller Synthesis for Deterministic Context Free ω-Language Specifications. TU Berlin. 2014.
- Basel Sheik Khalil. Prototype Development of a Smart Packstation System. TU Berlin. 2013.
- Xiaoying Bai. Translation of the construction of approximately similar or bisimilar symbolic models into the framework of behavioural systems theory. TU Berlin. 2013.
- Stefan Jacobi. Controller Synthesis for Discrete Event Systems in the Setting of a Regular Plant and a Deterministic Context-Free Specification in Libfaudes. TU Berlin. 2013. PDF
- Kai Biebrach. Mehrgrößenregelung eines hydrodynamischen Prüffeldes. TU Berlin. 2011.