Jean-Christophe Filliâtre
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 137324
Dissertation: Preuve de programmes impératifs en théorie des types
Advisor 1
- Christine Paulin-MohringUniversité Paris Diderot - Paris 7 · 1989
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Léo Andrès | Université Paris-Saclay | 2024 | 0 |
| François Bobot | Université Paris-Sud XI - Orsay | 2011 | 0 |
| Léon Gondelman | Université Paris-Saclay | 2016 | 0 |
| Johannes Kanig | Not recorded | — | 1 |
| Mário Pereira | Université Paris-Saclay | 2018 | 0 |
| Julien Signoles | Not recorded | — | 0 |