Gilles Dowek
Ph.D. Université Paris Diderot - Paris 7 1991
Dissertation:
Démonstration automatique dans le calcul des constructions
Mathematics Subject Classification: 68—Computer science
Advisor: Gérard Pierre Huet
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Muñoz, César | Université Paris Diderot - Paris 7 | 1997 | 5 |
| Mayero, Micaela | Université Paris Diderot - Paris 7 | 2001 | 1 |
| Hermant, Olivier | Université Paris Diderot - Paris 7 | 2005 | |
| Kirchner, Florent | École Polytechnique | 2007 | |
| Cousineau, Denis | École Polytechnique | 2009 | |
| Neron, Pierre | École Polytechnique | 2013 | |
| Lopes, Bruno | Pontifícia Universidade Católica do Rio de Janeiro | 2014 | 1 |
| Assaf, Ali | École Polytechnique | 2015 | |
| Bernardo, Bruno | École Polytechnique | 2015 | |
| Cruanes, Simon | École Polytechnique | 2015 |
According to our current on-line database, Gilles Dowek has 10 students and 15 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 83529 for the advisor ID.