|
|
Teaching
- Foundations of Formal Methods at UNSW (Term 2, 2026)
- Concepts of Programming Languages at UNSW (Term 3, 2026)
- Modal Type Theories 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
|