Je suis maître de conférences en informatique au Laboratoire d'Informatique Gaspard-Monge
(Université Gustave Eiffel & CNRS).
Par le passé, j'ai effectué mon post-doctorat au Laboratoire Spécification et Vérification
(École Normale Supérieure Paris-Saclay & CNRS) auprès de Patricia Bouyer-Decitre
et de Nicolas Markey, et mon doctorat à
l'Institut de Recherche en Informatique Fondamentale (Université Paris-Diderot & CNRS)
sous la direction de Jean Mairesse.
Vous pourrez trouver plus d'informations dans mon CV.