I am assistant professor in computer science in Laboratoire d'Informatique Gaspard-Monge
(University Gustave Eiffel & CNRS).
I used to be a post-doctoral researcher in Laboratoire Spécification et Vérification
(École Normale Supérieure Paris-Saclay & CNRS) with Patricia Bouyer-Decitre
and Nicolas Markey. Before that, I was a PhD student in
Institut de Recherche en Informatique Fondamentale (University Paris-Diderot & CNRS)
under the guidance of Jean Mairesse.
More information is available in my CV.
Content
Language
