Teaching

YearUniversityCourse
2025TU Darmstadt(Lab, Industry Collaboration) Software Engineering Project (co-organizer)
  (Seminar) Design and Implementation of Modern Programming Languages
  (Lab) Implementation of Modern Programming Languages
  Several master’s theses
2024TU 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
2023KU LeuvenPrinciples of Programming
  Object-Oriented Programming
2022KU LeuvenObject-Oriented Programming
2020KU LeuvenSoftware Design
  Object-Oriented Programming
2014TU DarmstadtFormal Foundations of Computer Science 1
  Formal Foundations of Computer Science 2
2013TU DarmstadtFormal Foundations of Computer Science 1
  Formal Foundations of Computer Science 2