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é de Rennes 12020
Sadhukan, SumanUniversité de Rennes 12021
Sankur, OcanÉcole Normale Supérieure de Cachan20132
Stan, DanielÉcole Normale Supérieure de Cachan2017

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.