Hubert Garavel
Original record- Institution
- Université Joseph Fourier Grenoble I
- Year
- 1989
- Country
- France
- MGP identifier
- 161341
Dissertation: Compilation et vérification de programmes LOTOS
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Joseph SifakisInstitution not recorded
- Jacques VoironInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Pierre Bouvier | Université Grenoble Alpes | 2023 | 0 |
| Nicolas Coste | Not recorded | — | 0 |
| Christophe Joubert | Not recorded | — | 0 |
| Radu Mateescu | Not recorded | — | 12 |
| Mihaela Sighireanu | Not recorded | — | 2 |
| Jan Stoecker | Institut National Polytechnique de Grenoble (INPG) | 2009 | 0 |
| Damien Thivolle | Not recorded | — | 0 |