François Pottier

MathSciNet


Ph. D. Université Paris Diderot - Paris 7 1998 France
Dissertation: Synthèse de types en présence de sous-typage: de la théorie à la pratique

Advisor 1: Didier Rémy

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

NameSchoolYearDescendants
Charguéraud, ArthurUniversité Paris Diderot - Paris 72010
Pouillard, NicolasUniversité Paris Diderot - Paris 72012
Protzenko, JonathanUniversité Paris Diderot - Paris 720141
Régis-Gianas, YannUniversité Paris Diderot - Paris 72007
Simonet, VincentUniversité Paris Diderot - Paris 72004

According to our current on-line database, François Pottier has 5 students and 6 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 137942 for the advisor ID.