Short Bio
I am an "Enseignant Chercheur" (Associate Professor) at EPITA, Rennes, in the the Automata and Applications group.
Before joining Epita in September 20:
- Sep 19-Aug 20: Attaché Temporaire Enseignement et Recherche (~Assistant lecturer) at Univ Rennes 1
- Sep 16-Aug 19: PhD student at Inria Rennes, supervised by Eric Fabre and Blaise Genest
Research
My research interests include formal methods and model checking techniques with a particular focus on:
- Stochastic systems
- Higher Dimensional Automata
In particular, my current work is focused on the properties of languages of HDA.
Teaching
At Epita, I give the following lectures.
- CPXA (complexité des algorithmes)
- PFON (programmation fonctionnelle)
- LOFO (logique formelle)
- THEG (théorie des graphes)
- APPROX (électif algorithmes d'approximation)
- ALGO (cours d'algorithmiques dans le cycle préparatoire)