Teaching
Year | University | Course |
---|---|---|
2023 | KU Leuven | Principles of Programming |
2023 | KU Leuven | 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 |