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:


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:

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

    Université Paris-Saclay

  • MSc in Engineering, 2019


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

    ENS Paris-Saclay

Recent Publications

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

PDF Cite

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

PDF Cite

(2022). Preserving consistency in geometric modeling with graph transformations. In MSCS.


(2022). Inferring topological operations on generalized maps: Application to subdivision schemes. In GVC.


(2022). A First Step Towards the Inference of Geological Topological Operations. In Eurographics 2022 (Poster).

PDF Cite Poster Video DOI

(2021). Topological consistency preservation with graph transformation schemes. In SCP.



  • Am Fasanengarten 5, Building 50.34, Karlsruhe, 76131