Patrick Cousot
Original record- Institution
- Université Joseph Fourier Grenoble I
- Year
- 1974
- Country
- France
- MGP identifier
- 122541
Dissertation: Définition interprétative et implantation de langages de programmation
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Michael GriffithsInstitution not recorded
- Philippe JorrandInstitut National Polytechnique de Grenoble (INPG) · 1975
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Bruno Blanchet | École Polytechnique | 2000 | 0 |
| Jérôme Feret | École Normale Supérieure | 2005 | 0 |
| Eric Goubault | Not recorded | — | 5 |
| Jean Goubault-Larrecq | École Polytechnique | 1993 | 13 |
| Nicolas Halbwachs | Institut National Polytechnique de Grenoble (INPG) and Université Joseph Fourier Grenoble I | 1979 | 5 |
| Antoine Miné | École Normale Supérieure | 2004 | 1 |
| David Monniaux | Université Paris IX - Dauphine | 2001 | 0 |
| Bruno Monsuez | École Polytechnique | 1994 | 1 |