I’m interested in using formal methods and game theory for cybersecurity. Currently pursuing a Ph.D. at Télécom Paris – Institut Polytechnique de Paris.
Read more about my thesis here.
News
- 21/10/2025 – Doing a poster presentation about my research field in Les Rencontres Cybersécurité et Défense de l’Institut Polytechnique de Paris at Polytechnique.
- 16/10/2025 – Attending The Junior conference on Informatics: Theory and Applications (JITA) to present my PhD topic at ENS Paris-Saclay.
Publications
- Extending Timed Automata with Clock Derivatives (accepted) Integrated Formal Methods (IFM)’25, Paris
- Time for Networks: Mutation Testing for Timed Automata Networks 12th International Conference on Formal Methods in Software Engineering (FormaliSE 2024).
- MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems. Software Testing, Verification and Reliability, 35(1), e1907.