Jean-Christophe Filliâtre
Ph. D. Université Paris-Sud XI - Orsay and Université Paris-Sud XI - Orsay 1999
Dissertation:
Preuve de programmes impératifs en théorie des types
Advisor 1: Christine Paulin-Mohring
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Signoles, Julien | Université Paris-Sud XI - Orsay and Université Paris-Sud XI - Orsay | 2006 | |
| Kanig, Johannes | Université Paris-Sud XI - Orsay and Université Paris-Sud XI - Orsay | 2010 | 1 |
| Bobot, François | Université Paris-Sud XI - Orsay and Université Paris-Sud XI - Orsay | 2011 | |
| Gondelman, Léon | Université Paris-Saclay and Université Paris-Saclay | 2016 | |
| Pereira, Mário | Université Paris-Saclay and Université Paris-Saclay | 2018 | |
| Andrès, Léo | Université Paris-Saclay and Université Paris-Saclay | 2024 |
According to our current on-line database, Jean-Christophe Filliâtre has 6 students and 7 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 137324 for the advisor ID.