YVES LEDRU

Professeur des universités

Affiliation

Université Grenoble Alpes

Équipe de recherche

LIG Equipe VASCO

Domaines de recherche

Génie Logiciel, Méthodes Formelles

Disciplines scientifiques

Informatique

Habilitation à diriger des recherches