Radhia Cousot
Original record- Institution
- Institut National Polytechnique de Lorraine
- Year
- 1985
- Country
- France
- MGP identifier
- 135743
Dissertation: Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles
Advisor 1
- Claude PairUniversité Henri Poincaré Nancy 1 · 1966
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Pietro Ferrara | École Polytechnique and Università Cà Foscari Venezia | 2009 | 0 |
| Charles Hymans | École Polytechnique | 2004 | 0 |
| Francesco Logozzo | École Polytechnique | 2004 | 0 |
| Damien Massé | École Polytechnique | 2002 | 0 |
| Elodie-Jane Sims | de l'École Polytechnique/Ph.D. Kansas State University and École Polytechnique | 2007 | 0 |
| Stanislas Tzolovski | École Polytechnique | 2002 | 0 |
| Caterina Urban | École Normale Supérieure | 2015 | 1 |
| Arnaud Venet | École Polytechnique | 1998 | 0 |
| Matteo Zanioli | Università Cà Foscari Venezia | 2012 | 0 |