| 2024 | TU Darmstadt | (Lab, Industry Collaboration) Software Engineering Project (organizer) |
| | | (Seminar) Design and Implementation of Modern Programming Languages |
| | | (Lab) Implementation of Modern Programming Languages |
| | | (Seminar) Foundations of Static Analysis |
| | | Program Analysis |
| 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 |
