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.
La théorie des langages est une branche fondamentale de l'informatique dont les concepts se retrouvent dans de nombreuses disciplines comme la conception de processeurs, la compilation de logiciels, l'intelligence artificielle...Cette discipline qui repose sur des concepts mathématiques...
Voir plus
