- Site: Paris
- Group: automata and applications
- Axes: software and performance, robotics
I’m currently an assistant professor with the EPITA Research Laboratory (LRE) as part of the Automata and applications group.
My current previous occupations in short-form
- Since 09/22: Assistant professor LRE
- 09/19 - 09/22: Post-Doc position at the LRDE, ANR TickTac
- 09/18 - 09/19: ATER at Sorbonne University and ISIR lab
- 09/15 - 09/18: PhD position ISIR (UPMC/Sorbonne University): Contributions to robotic control design with formal safety and stability guarantees
- 09/13 - 09/15: M.Sc. in Robotics and Complex Systems UPMC
Some News
- 02/24 I’m happy to welcome Rania Saadi, Quentin Rataud and Rémy Le Bohec as research students in the automata group!
- 11/23 Participating at the tools and posters track at MSR 23 in Toulouse
- 09/23 Attending Formats 23 at the University of Antwerp
- 04/23 I gave a talk at GT DAAL 23 about Strategy Learning from timed automata
Research interests
I’m interested in a broad variety of subjects summed up as “Using formal methods to verify and control complex systems”.
Here a non-exhaustive list of things that fall in this category:
linear temporal logic, ω-automata, model checking, reactive controller synthesis, timed automata, dynamical systems, hybrid systems, regions of attractions, proofs of stability, SAT, SMT, path and task planning, convex optimization
I’m also very much “a tool guy”, that is I’m mostly interested in approaches/algorithms which I can also implement (python or, preferably, C++). I also contribute to spot.
For a list of my publications see here (google) or here (dblp).
People I work / worked with in no particular order (Sorry if I forgot someone…).
Nicolas Perrin-Gilbert, Alexandre Duret-Lutz, Vincent Padois, Nicolas Markey, Patricia Bouyer, Pauline Maurice, Florian Renkin, Adrien Pommellet, Sven Dziadek, Uli Fahrenberg
Teaching
I’m currently or was at some point teaching:
CS subjects
- C++ (Atelier C++ Ing 1, C++ electif Ing 1)
- THLR, Théorie des langages rationnels (TD/TP Spe, CM/TD/TP for RCS)
- CPXA, Complexité des algorithmes (TD Ing1)
- Introduction aux théorie des graphes (RCS)
- THEG, Théorie des Graphes (CM/TP Bachelor Cyber)
- CAMA, Calcul Matricielle (TP Ing1)
- MOD1/MOD2, Modélisation (TD Ing1)
Various
- Corps rigides - statique et dynamique (TD L2)
- Romarin, un véhicule téléguidé sous-marin (Projet L3)
- Systèmes robotiques (TP L3)
Supervision
If you are interested in working with me / the automata group as intern (regular intern or RDI), feel free to contact me I usually have several subjects.
Past and Current student projects:
- Rostan Tabet (RDI, 2022-2024): Reactive synthesis for dynamical systems
- Rania Saadi (Intern-RDI, 2023-ongoing): $\omega$-Regular languages for weighted automata with bounds
- Rémy Le Bohec (RDI, 2024-ongoing): Efficient LTLf translation for synthesis and model-checking
- Quentin Rataud (RDI, 2024-ongoing): Improving game solving in Spot
For a detailed CV please look here!