Short bio

Year Position & Topic Lab & University City Supervision
2024–2025 Post-doctoral researcher
Monitoring of cyber-physical systems 		LIPN
Université Paris Sorbonne Nord
SAFER Team 		Villetaneuse Étienne André
2023–2024 ATER (Attaché Temporaire d'Enseignement et de Recherche)
Concurrency models 		IRIF
Université Paris Cité
Verification Team		 Paris (None)
2022–2023 Post-doctoral Researcher
Robotics and Formal Methods 		ISIR
Sorbonne Université
Syrocco Team
 Paris Nicolas Perrin-Gilbert
2018–2022 PhD Student
Robustness of Timed Automata 		Inria Université Rennes & MERCE
Université de Rennes
SUMO Team 		Rennes Thierry Jéron
Nicolas Markey
David Mentré
Here is my Manuscript and Defense Slides.

Research topic : Formal methods and verification

My research focuses on formal methods and its applications in verification. My main tools are based on automata and its variants (Timed, Parametric, Higher Dimensional Automata) in order to have more expressive models to fit reality.

A second interest of mine is geometry and groups. I study it both for verification purpose (polyhedra tiling for some optimisation function in verification, algebraic structure of models) or for more mathematical sujects (e.g random groups).

Keywords :

  • Automata, Higher Dimensional Automata, Model-Checking, Temporal Logic (LTL, HyperLTL...), Robustness, Monitoring
  • Polyhedra, Symbolic optimisation
  • Random Groups, Geometry

    • You can find below a sum up of my four main research topic.

    Concurrency : Higher Dimension Automata

    My goal is to provide verification for models of concurrency, as higher dimensional (timed) automata (HDA/HDTA). This model is based on automata and events can happen in parallel (true concurrency).
    My research focus are on :

  • Development of logic for Pomsets
  • Comparison of concurrent models
  • Verification and robustness

    • Collaborators : Amazigh Amrane, Hugo Bazille, Enzo Erlich, Uli Fahrenberg, Marie Fortin, Jérémy Ledent, Philipp Schlehuber-Caissier, Krzysztof Ziemiański

    Monitoring


    I aim to provide online monitoring algorithm based on automata techniques.
    My goals are to :

  • Compare traces (Hyperproperties, HyperLTL)
  • Provide a user-friendly language specification
  • Applied monitoring to use-cases (ex: malwares)

    • Collaborator : Étienne André

    Random groups

    Groups can be randomly generated with letters (generators) and cancelling subwords (relation). My goal is to study the asymptotical behaviours of such groups, depending on the length of the relations. In particular :

  • Are these groups free ? Hyperbolic ?
  • Can we splits them ?

    • Collaborator : John Mackay

    Last work

    Students

    Master Students

    Student Period Topic Co-supervision
    Enzo Erlich 03/2024-08/2024 Logic for Pomset, Higher Dimensional Automata Jérémy Ledent
    MCF IRIF/Université Paris-Cité

    PhD Students

    Student Period Topic Co-supervision
    Enzo Erlich 10/2024 - now Logic for Pomset, Higher Dimensional Automata Jérémy Ledent
    MCF IRIF/Université Paris-Cité
    Uli Fahrenberg
    EC at Epita/LRE

    Projects participation

    ANR

    Name Period Topic Role
    BiSoUS 10/2024 - now Better Synthesis for Underspecified Quantitative Systems Member
    TickTac 10/2018 - 05/2023 Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems Member

    Programm committee and responsabilities