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 ordered by family name.

NameSchoolYearDescendants
Zhang, YuÉcole Normale Supérieure de Cachan
El Kadhi, NabilUniversité Tunis-El Manar2000
Rose, EvaUniversité Paris Diderot - Paris 72002
Roger, MurielÉcole Normale Supérieure de Cachan2003
Verma, Kumar NeerajÉcole Normale Supérieure de Cachan2003
Baudet, MathieuÉcole Normale Supérieure de Cachan2007
Dubut, JérémyÉcole Normale Supérieure de Cachan2007
Bursztein, ElieÉcole Normale Supérieure de Cachan2008
Carré, Jean-LoupÉcole Normale Supérieure de Cachan2010
Vacher, CamilleÉcole Normale Supérieure de Cachan2010
Ciobâcă, ŞtefanÉcole Normale Supérieure de Cachan2011
Benzina, HediÉcole Normale Supérieure de Cachan2012

According to our current on-line database, Jean Goubault-Larrecq has 12 students and 12 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.