Patricia Bouyer
Original record- Institution
- École Normale Supérieure de Cachan
- Year
- 2002
- Country
- France
- MGP identifier
- 169878
Dissertation: Modèles et Algorithmes pour la Vérification des Systèmes Temporisés
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Antoine PetitUniversité Paris Diderot - Paris 7 · 1985
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Romain Brenguier | École Normale Supérieure de Cachan | 2012 | 0 |
| Pierre Carlier | Université de Mons and Université Paris-Saclay | 2017 | 0 |
| Patrick Gardy | École Normale Supérieure de Cachan | 2017 | 0 |
| Mauricio Gonzalez | École Normale Supérieure de Cachan | 2019 | 0 |
| Samy Jaziri | École Normale Supérieure de Cachan | 2019 | 0 |
| Anirban Majumdar | Université Paris-Saclay | 2021 | 0 |
| Ocan Sankur | École Normale Supérieure de Cachan | 2013 | 2 |
| Daniel Stan | École Normale Supérieure de Cachan | 2017 | 0 |
| Pierre Vandenhove | Université de Mons and Université Paris-Saclay | 2023 | 0 |