Experience

Maître de Conférences (Assistant Professor)
MICS April 2025 – Present
- In the ARCADE team of the MICS laboratory at CentraleSupélec, University Paris-Saclay (France).
Researcher (Postdoc)
KIT (CRC 1608 - Convide) February 2024 – March 2025
- In the Application-oriented Formal Verification group lead by Prof. Bernhard Beckert in the Institute of Information Security and Dependability (KASTEL) at Karlsruhe Institute of Technology (KIT)
- The CRC 1608 Convide project deals with consistency in the view-based development of cyber-physical systems. More precisely, I worked on the subprojects dealing with formalising notions of consistency.
Attaché Temporaire d'Enseignement et de Recherche (Postdoc with teaching duties)
MICS November 2019 – October 2020
- In the Logimics team of the MICS laboratory at CentraleSupélec, University Paris-Saclay (France).

PhD in Computer Science
Université Paris-Saclay November 2019 – November 2022
I successfully defended my Ph.D. thesis on Tuesday 29 November 2022. I had the great pleasure to be supervised by Pascale Le Gall (MICS, CentraleSupélec), Hakim Belhaouri, and Agnès Arnould (XLIM UMR CNRS 7252 laboratory, University of Poitiers). My work focuses on the formal conception of operations in topology-based geometric modeling using graph rewriting.
See the manuscript
MSc in Engineering
CentraleSupélec September 2015 – October 2019
MSc in Theoretical Computer Science (AFP, ex-MPRI)
ENS Paris-Saclay September 2018 – August 2019