François Laroussinie
Ph.D. Institut National Polytechnique de Grenoble (INPG) 1994
Dissertation:
Logique temporelle avec passé pour la spécification et la vérification des systèmes réactifs
Mathematics Subject Classification: 68—Computer science
Advisor: Philippe Schnoebelen
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Markey, Nicolas | Université d'Orléans | 2003 | 10 |
| Oreiby, Ghassan | École Normale Supérieure de Cachan | 2008 | |
| Da Costa Lopes, Arnaud | École Normale Supérieure de Cachan | 2011 |
According to our current on-line database, François Laroussinie has 3 students and 11 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 122420 for the advisor ID.