Gilles Dowek


Ph.D. Université Paris Diderot - Paris 7 1991 France
Dissertation: Démonstration automatique dans le calcul des constructions
Mathematics Subject Classification: 68—Computer science

Advisor: Gérard Pierre Huet

Click here to see the students ordered by family name.

Muñoz, CésarUniversité Paris Diderot - Paris 719974
Mayero, MicaelaUniversité Paris Diderot - Paris 720011
Hermant, OlivierUniversité Paris Diderot - Paris 72005
Kirchner, FlorentÉcole Polytechnique2007
Cousineau, DenisÉcole Polytechnique2009
Neron, PierreÉcole Polytechnique2013
Lopes, BrunoPontifícia Universidade Católica do Rio de Janeiro2014
Assaf, AliÉcole Polytechnique2015
Bernardo, BrunoÉcole Polytechnique2015
Cruanes, SimonÉcole Polytechnique2015

According to our current on-line database, Gilles Dowek has 10 students and 13 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.