| 2025 | TU Darmstadt | (Lab, Industry Collaboration) Software Engineering Project (co-organizer) |
| | | (Seminar) Design and Implementation of Modern Programming Languages |
| | | (Lab) Implementation of Modern Programming Languages |
| | | (Seminar) Foundations of Static Analysis |
| | | Several master’s theses |
| 2024 | TU Darmstadt | (Lab, Industry Collaboration) Software Engineering Project (co-organizer) |
| | | (Seminar) Design and Implementation of Modern Programming Languages |
| | | (Lab) Implementation of Modern Programming Languages |
| | | (Seminar) Foundations of Static Analysis |
| | | Program Analysis |
| | | Several master’s theses |
| 2023 | KU Leuven | Principles of Programming |
| | | Object-Oriented Programming |
| 2022 | KU Leuven | Object-Oriented Programming |
| 2020 | KU Leuven | Software Design |
| | | Object-Oriented Programming |
| 2014 | TU Darmstadt | Formal Foundations of Computer Science 1 |
| | | Formal Foundations of Computer Science 2 |
| 2013 | TU Darmstadt | Formal Foundations of Computer Science 1 |
| | | Formal Foundations of Computer Science 2 |
