Research thematic
My research focuses on formal methods for real-time systems, especially:
- Concurrent systems (Higher Dimension Automata & Higher Dimensional Timed Automata), Timed Automata, Robustness
- Robotics, Multi-agents systems, SMT, RL
- Polyedra, Symbolic Optimisation, Well Quasi-order, Complexity
I defended my thesis on March 11 2022 (
manuscript,
defence slides), under the supervision of
of
Thierry Jéron,
Nicolas Markey and David Mentré.
A brief (outdated) summary of what I do can be found
here (last update: 13/10/2021) and here is my
CV (last update: 29/03/2023).
