Gilles Dowek

MathSciNet


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

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Bernardo, BrunoÉcole Polytechnique2015
Cousineau, DenisÉcole Polytechnique2009
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 719973
Neron, PierreÉcole Polytechnique2013

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