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.
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...
Más información
