Jean Goubault-Larrecq


Ph.D. École Polytechnique 1993 France
Dissertation: Demonstration automatique en logique classique : complexite et methodes
Mathematics Subject Classification: 68—Computer science

Advisor: Patrick Cousot

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

NameSchoolYearDescendants
Ciobâcă, ŞtefanÉcole Normale Supérieure de Cachan2011
Rose, EvaUniversité Paris Diderot - Paris 72002

According to our current on-line database, Jean Goubault-Larrecq has 2 students and 2 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 198308 for the advisor ID.