Nicolas Markey
Original record- Institution
- Université d'Orléans
- Year
- 2003
- Country
- France
- MGP identifier
- 122649
Dissertation: Logiques temporelles pour la vérification: expressivité, complexité, algorithmes
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Philippe SchnoebelenInstitut National Polytechnique de Grenoble (INPG) · 1990
- François LaroussinieInstitut National Polytechnique de Grenoble (INPG) · 1994
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Romain Brenguier | École Normale Supérieure de Cachan | 2012 | 0 |
| Arnaud Da Costa Lopes | École Normale Supérieure de Cachan | 2011 | 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 |
| Ghassan Oreiby | École Normale Supérieure de Cachan | 2008 | 0 |
| Victor Roussanaly | Université de Rennes 1 | 2020 | 0 |
| Suman Sadhukan | Université de Rennes 1 | 2021 | 0 |
| Ocan Sankur | École Normale Supérieure de Cachan | 2013 | 2 |
| Daniel Stan | École Normale Supérieure de Cachan | 2017 | 0 |