Teaching
- Fall 2025: I co-teach Compilation, Program Logics
- Spring 2025: Pre-Talent Track Spring 2025
- Fall 2024: I co-teach Compilation, Program Logics, and Advanced Topics in Programming Language Theory
- Spring 2024: Pre-Talent Track Spring 2024
- Fall 2023: I co-teach Compilation, Program Logics, and Advanced Topics in Programming Language Theory
- Spring 2023: Pre-Talent Track Spring 2023
- Fall 2022: I co-teach Compilation, Program Logics, and Advanced Topics in Programming Language Theory
- Spring 2022: Pre-Talent Track Spring 2022
- Fall 2021: I co-teach Compilation and Program Logics
- Spring 2021: Pre-Talent Track Spring 2021
Teaching at KU Leuven:
- Fall Semester 2019-2020: Formal Systems and their Applications (as a substitute for Frank Piessens)
- Fall Semester 2018-2019: Formal Systems and their Applications (as a substitute for Frank Piessens)