Hubert Garavel
Ph.D. Université Joseph Fourier Grenoble I 1989
Dissertation:
Compilation et vérification de programmes LOTOS
Mathematics Subject Classification: 68—Computer science
Advisor 1: Jacques Voiron
Advisor 2: Joseph Sifakis
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Mateescu, Radu | Institut National Polytechnique de Grenoble | 1998 | 12 |
| Sighireanu, Mihaela | Université Joseph Fourier Grenoble I | 1999 | 2 |
| Joubert, Christophe | Institut National Polytechnique de Grenoble | 2005 | |
| Stoecker, Jan | Institut National Polytechnique de Grenoble | 2009 | |
| Coste, Nicolas | Université de Grenoble | 2010 | |
| Thivolle, Damien | Universitatea Politehnica din Bucuresti and Université de Grenoble | 2011 | |
| Bouvier, Pierre | Université Grenoble Alpes | 2023 |
According to our current on-line database, Hubert Garavel has 7 students and 19 descendants.
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.