Maître de conférences à l’Université Grenoble Alpes. Membre du Laboratoire d'Informatique de Grenoble et d'Inria Grenoble Rhône-Alpes. Il enseigne la théorie des langages et des automates, la compilation et la programmation. Ses travaux de recherche portent sur la vérification des systèmes à l'exécution et le génie logiciel rigoureux.