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 listed in chronological order.

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

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.