About Me
I am Maître de Conférences (Assistant Professor) in Computer Science in the ARCADE team of the MICS laboratory at CentraleSupélec, University Paris-Saclay (France).
My research is about formal methods, from their foundations to their practical application, with two application areas:
- Geometric modeling. The formal design of operations on topology-based geometric objects, using graph rewriting. This was the topic of my Ph.D. thesis.
- Model consistency. Keeping the different views on a cyber-physical system consistent with each other, a topic I started during my postdoc at KIT within the CRC 1608 Convide.
I am teaching in the BSc AIDAMS, the bachelor in Artificial Intelligence, Data and Management Sciences of CentraleSupélec and ESSEC Business School and in the Engineering Curriculum of CentraleSupélec.
- Theoretical Computer Science
- Formal Methods
- Software Engineering
- Graph Transformations
- Geometric Modeling
PhD in Computer Science
Université Paris-Saclay
MSc in Engineering
CentraleSupélec
MSc in Theoretical Computer Science (MPRI)
ENS Paris-Saclay
I defended my Ph.D. thesis on 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.
You can download the manuscript, the slides, or have a look at the recording of the defense:
