Teaching

YearUniversityCourse
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