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:

• Website
• Documentation
• Code