Teaching
- Foundations of Formal Methods at UNSW (Term 2, 2026)
- Concepts of Programming Languages at UNSW (Term 3, 2026)
- Modal type theory and Logical relations
Invited lectures at 33rd Annual Logic Summer School 2025, ANU - Language-based Security at University of Kent (2022-2025)
- Theory of Computing at University of Kent (2021-2025)
- Functional Programming at University of Kent (2022)
- Logics in Security (Teaching assistant) at MPI-SWS
- Security (Teaching assistant) at Saarland University
- Secure Information Flow (Teaching assistant) at Saarland University