Teaching

• 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)