Courses, Seminars, and Tutorials

Summer 2025: Tutorial on Formal Verification of Security Protocols using ProVerif, Summer School on Formal methods for Information Security, Universitat Rovira i Virgili
Summer 2025: Theoretical Computer Science 1, Co-Teacher, Bachelor in Computer Science, University of Luxembourg
Winter 2024 - 2025: Security Protocols, Co-Teacher, Master in Information and Computer Sciences, University of Luxembourg
Summer 2024: Communication, Information Processing and Persistence 1, Co-Teacher, Master in Information System Security Management, University of Luxembourg
Winter 2022 - 2023: Seminar on Software Engineering, Teaching Assistant, Master in Computer Science, University of Kaiserslautern-Landau
Winter 2019 - 2020: Concurrency Theory, Teaching Assistant, Master in Computer Science, University of Kaiserslautern-Landau

Supervision

Nadine Muller, Master thesis, Co-Advisor, Master in Information and Computer Sciences, University of Luxembourg, 2025
Clayton Stevenson, Master thesis, Co-advisor, University of Luxembourg, Master in Information System Security Management, 2025
Gokdag Goktepe, Master thesis, Co-advisor, University of Luxembourg, Master in Information System Security Management, 2025
Ole Martin Edstrøm, Internship, Co-advisor, University of Luxembourg, 2025