Gilles Dowek
Original record- Institution
- Université Paris Diderot - Paris 7
- Year
- 1991
- Country
- France
- MGP identifier
- 83529
Dissertation: Démonstration automatique dans le calcul des constructions
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Gérard Pierre HuetCase Western Reserve University · 1972
Students 21
| Name | Institution | Year | Students |
|---|---|---|---|
| Emilie Grienenberger | Université Paris-Saclay | 2025 | 0 |
| Pierre Néron | École Polytechnique | 2013 | 0 |
| Ali Assaf | École Polytechnique | 2015 | 0 |
| Bruno Bernardo | École Polytechnique | 2015 | 0 |
| Mathieu Boespflug | École Polytechnique | 2011 | 0 |
| Guillaume Bury | Université Sorbonne Paris Cité | 2019 | 0 |
| Denis Cousineau | École Polytechnique | 2009 | 0 |
| Simon Cruanes | École Polytechnique | 2015 | 0 |
| Louise Dubois de Prisque | Université Paris-Saclay | 2024 | 0 |
| Thiago Felicissimo | Université Paris-Saclay | 2024 | 0 |
| Frédéric Gilbert | Université Sorbonne Paris Cité | 2018 | 0 |
| Emilie Grienenberger | Not recorded | — | 0 |
| Olivier Hermant | Not recorded | — | 1 |
| Gabriel Hondet | Université Paris-Saclay | 2022 | 0 |
| Ji Kailiang | Université Sorbonne Paris Cité | 2015 | 0 |
| Florent Kirchner | Not recorded | — | 0 |
| Bruno Lopes | Not recorded | — | 1 |
| Micaela Mayero | Not recorded | — | 1 |
| César Muñoz | Université Paris Diderot - Paris 7 | 1997 | 5 |
| Pierre Neron | École Polytechnique | 2013 | 0 |
| François Thiré | Université Paris-Saclay | 2020 | 0 |