Ancien professeur à l'Université Grenoble Alpes. Ancien membre du laboratoire Verimag. Il a enseigné les architectures logicielles et matérielles, la théorie des langages et des automates, la sémantique et la compilation. Ses travaux de recherche portaient sur la vérification formelle et la validation de systèmes critiques.