Research thematic

My research focuses on formal methods for real-time systems, especially:
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).


Sheduled talks


We can find my publication list on DBLP.


I have the following projects:


  • Enzo Erlich : Master 2 Student March 2024 - August 2024, Language of Higher Dimensional Automata (co-supervision With Jérémy Ledent)
  • Agenda