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 current topics cover formal methods, from their foundations to their practical application, with two application areas: geometric modeling and model consistency for cyber-physical systems.
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 (AFP, ex-MPRI)
ENS Paris-Saclay
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.
You can download the manuscript, the slides, or have a look at the recording of the defense:
