Education
- 2021- : PHD « Automated Learning of Proof Strategies in Tamarin »
- April 2023 – June 2023: visit to University of Edinburgh
- 2018-2021 : Diplôme d’Ingénieur (French engineering degree) in computer science, especially cybersecurity and networks, TELECOM Nancy, France
Teaching
- 2023 spring semester (TélécomNancy): Programmation en C, Tutorial seminars and Labs, 3rd year
- 2022 fall semester (TélécomNancy): Système, Project, Tutorial seminars and Labs, 4th year
- 2022 spring semester (TélécomNancy): Modélisation des Systèmes à Evénements Discrets, Tutorial seminars, 3rd year
Other
- Scientific mediation at Fête de la science 2022
