Nicolas Halbwachs
Original record- Institution
- Institut National Polytechnique de Grenoble (INPG) and Université Joseph Fourier Grenoble I
- Year
- 1979
- Country
- France
- MGP identifier
- 80620
Dissertation: Détermination automatique de relations linéaires vérifiées par les variables d'un programme
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Patrick CousotUniversité Joseph Fourier Grenoble I · 1974
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Jean-Louis Bergerand | Institut National Polytechnique de Grenoble (INPG) | 1986 | 2 |
| Laure Danthony Gonnord | Université Joseph Fourier Grenoble I | 2007 | 1 |
| Bertrand Jeannet | Institut National Polytechnique de Grenoble (INPG) | 2000 | 1 |
| John Plaice | Institut National Polytechnique de Grenoble (INPG) | 1988 | 4 |
| Christophe Ratel | Université Joseph Fourier Grenoble I | 1992 | 0 |