Philippe Schnoebelen
Original record- Institution
- Institut National Polytechnique de Grenoble (INPG)
- Year
- 1990
- Country
- France
- MGP identifier
- 93155
Dissertation: Sémantique du parallélisme et logique temporelle. Application au langage FP2.
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Philippe JorrandInstitut National Polytechnique de Grenoble (INPG) · 1975
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Nathalie Bertrand | École Normale Supérieure de Cachan | 2006 | 5 |
| Pierre Chambart | École Normale Supérieure de Cachan | 2011 | 1 |
| Prateek Karandikar | École Normale Supérieure de Cachan and Chennai Mathematical Institute | 2015 | 0 |
| Olga Kouchnarenko | Université Joseph Fourier Grenoble I | 1997 | 0 |
| François Laroussinie | Institut National Polytechnique de Grenoble (INPG) | 1994 | 3 |
| Nicolas Markey | Université d'Orléans | 2003 | 10 |
| Sophie Pinchinat | Institut National Polytechnique de Grenoble (INPG) | 1993 | 1 |