Nicolas Markey
Ph.D. Université d'Orléans 2003
Dissertation:
Logiques temporelles pour la vérification: expressivité, complexité, algorithmes
Mathematics Subject Classification: 68—Computer science
Advisor 1: Philippe Schnoebelen
Advisor 2: François Laroussinie
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Oreiby, Ghassan | École Normale Supérieure de Cachan | 2008 | |
| Da Costa Lopes, Arnaud | École Normale Supérieure de Cachan | 2011 | |
| Brenguier, Romain | École Normale Supérieure de Cachan | 2012 | |
| Sankur, Ocan | École Normale Supérieure de Cachan | 2013 | 2 |
| Gardy, Patrick | École Normale Supérieure de Cachan | 2017 | |
| Stan, Daniel | École Normale Supérieure de Cachan | 2017 | |
| Gonzalez, Mauricio | École Normale Supérieure de Cachan | 2019 | |
| Jaziri, Samy | École Normale Supérieure de Cachan | 2019 | |
| Roussanaly, Victor | Université de Rennes 1 | 2020 | |
| Sadhukan, Suman | Université de Rennes 1 | 2021 |
According to our current on-line database, Nicolas Markey has 10 students and 10 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 122649 for the advisor ID.