About me

Welcome on my academic webpage!

I am doing a postdoc at 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). I am part of the CRC 1608 Convide project about consistency in the view-based development of cyber-physical systems. More precisely, I work on the subproject dealing with formalising and relating different notions of consistency and the subproject about the complexity of consistency.

Before that, I was an Attaché temporaire d’enseignement et de recherche (postdoc with teaching duties) in the Logimics team of the MICS laboratory at CentraleSupélec, University Paris-Saclay (France).

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 providing help for the 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:

JerboaStudio

During my Ph.D., I developed JerboaStudio, which enables the inference of geometric modeling operations which I implemented in the Jerboa platform. It is now available on GitLab.

Some information about Jerboa:

Interests
  • Theoretical Computer Science
  • Formal Methods
  • Graph Transformations
  • Computer Graphics
  • Topology-based Geometric Modeling
Education
  • PhD in Computer Science, 2022

    Université Paris-Saclay

  • MSc in Engineering, 2019

    CentraleSupélec

  • MSc in Fundamental Computer Science (AFP, ex-MPRI), 2018

    ENS Paris-Saclay

Recent Publications

(2024). A Note on Los's Theorem for Kripke-Joyal Semantics. arXiv preprint.

PDF Cite

(2024). Formal Foundations of Consistency in Model-Driven Development. In ISoLA.

PDF Cite Project Slides DOI

(2024). A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis. In ME 2024.

PDF Cite Project DOI

(2024). Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering. In MPM4CPS 2024.

PDF Cite Project Slides DOI

(2024). Ultraproducts in abstract categorical logic. arXiv preprint.

PDF Cite

(2023). Transformations de graphes décorés. In Informatique Mathématique Une photographie en 2023.

PDF Cite Slides

(2023). Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique. In AFADL'23.

PDF Cite Slides

Upcoming and Recent Talks

Contact

  • Am Fasanengarten 5, Building 50.34, Karlsruhe, 76131