Yliès Falcone

Maitre de conferences a l'Universite Grenoble Alpes. Membre du Laboratoire
d'Informatique de Grenoble et d'Inria Grenoble Rhone-Alpes. Il enseigne la
theorie des langages et des automates, la compilation et la programmation. Ses
travaux de recherche portent sur la verification des systemes a l'execution et
le genie logiciel rigoureux.