Nicolas Markey

MathSciNet


Ph.D. Université d'Orléans 2003 France
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 listed in chronological order.

NameSchoolYearDescendants
Brenguier, RomainÉcole Normale Supérieure de Cachan2012
Da Costa Lopes, ArnaudÉcole Normale Supérieure de Cachan2011
Gardy, PatrickÉcole Normale Supérieure de Cachan2017
Gonzalez, MauricioÉcole Normale Supérieure de Cachan2019
Jaziri, SamyÉcole Normale Supérieure de Cachan2019
Oreiby, GhassanÉcole Normale Supérieure de Cachan2008
Roussanaly, VictorUniversité Rennes I2020
Sankur, OcanÉcole Normale Supérieure de Cachan20131
Stan, DanielÉcole Normale Supérieure de Cachan2017

According to our current on-line database, Nicolas Markey has 9 students and 9 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.