Computer Science 1
BoGE Computer Science (CS) 1
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.
Interests
- Theoretical Computer Science
- Formal Methods
- Software Engineering
- Graph Transformations
- Geometric Modeling
Education
PhD in Computer Science
Université Paris-Saclay
MSc in Engineering
CentraleSupélec
MSc in Theoretical Computer Science (AFP, ex-MPRI)
ENS Paris-Saclay
Research
My research is about formal methods, from their foundations to their practical application.
- 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.
Teaching
Data, Data Storage, Data Collection
Data is the foundation of intelligent systems and decision-making processes. Understanding how to work with data, from its collection to its use for decision making, is central to modern data-driven applications. This course introduces students to the full data lifecycle. It explores how to collect, clean, store, and analyze data, before discussing how to communicate the findings.
Fiches Pédagologiques Filière Métiers de la Recherche
Cette activité propose aux étudiants de rédiger des fiches pédagogiques de niveau L3/M1 dans différentes disciplines scientifiques.
Recent Publications
Upcoming and Recent Talks
Ph.D. Thesis
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: