Jean-Christophe Filliâtre

MathSciNet


Ph. D. Université Paris-Sud XI - Orsay 1999 France
Dissertation: Preuve de programmes impératifs en théorie des types

Advisor 1: Christine Paulin-Mohring

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Signoles, JulienUniversité Paris-Sud XI - Orsay2006
Kanig, JohannesUniversité Paris-Sud XI - Orsay20101
Bobot, FrançoisUniversité Paris-Sud XI - Orsay2011
Gondelman, LéonUniversité Paris-Saclay2016
Pereira, MárioUniversité Paris-Saclay2018

According to our current on-line database, Jean-Christophe Filliâtre 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 137324 for the advisor ID.