Jean-Christophe Filliâtre
Ph. D. 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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Bobot, François | Université Paris-Sud XI - Orsay | 2011 | |
| Gondelman, Léon | Université Paris-Saclay | 2016 | |
| Kanig, Johannes | Université Paris-Sud XI - Orsay | 2010 | 1 |
| Pereira, Mário | Université Paris-Saclay | 2018 | |
| Signoles, Julien | Université Paris-Sud XI - Orsay | 2006 |
According to our current on-line database, Jean-Christophe Filliâtre has 5 students and 6 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.