Hubert Garavel


Ph.D. Université Joseph Fourier Grenoble I 1989 France
Dissertation: Compilation et vérification de programmes LOTOS
Mathematics Subject Classification: 68—Computer science

Advisor 1: Jaques Voiron
Advisor 2: Joseph Sifakis

Student:

NameSchoolYearDescendants
Stoecker, JanInstitut National Polytechnique de Grenoble2009

According to our current on-line database, Hubert Garavel has 1 student and 1 descendant.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 161341 for the advisor ID.