Jean Goubault-Larrecq
Original record- Institution
- École Polytechnique
- Year
- 1993
- Country
- France
- MGP identifier
- 198308
Dissertation: Demonstration automatique en logique classique : complexite et methodes
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Patrick CousotUniversité Joseph Fourier Grenoble I · 1974
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Mathieu Baudet | École Normale Supérieure de Cachan | 2007 | 0 |
| Hedi Benzina | École Normale Supérieure de Cachan | 2012 | 0 |
| Elie Bursztein | École Normale Supérieure de Cachan | 2008 | 0 |
| Jean-Loup Carré | École Normale Supérieure de Cachan | 2010 | 0 |
| Ştefan Ciobâcă | École Normale Supérieure de Cachan | 2011 | 0 |
| Jérémy Dubut | École Normale Supérieure de Cachan | 2017 | 0 |
| Nabil El Kadhi | Université Tunis-El Manar | 2000 | 0 |
| Roman Kniazev | École Polytechnique | 2023 | 0 |
| Muriel Roger | École Normale Supérieure de Cachan | 2003 | 0 |
| Eva Rose | Université Paris Diderot - Paris 7 | 2002 | 0 |
| Camille Vacher | École Normale Supérieure de Cachan | 2010 | 0 |
| Kumar Neeraj Verma | École Normale Supérieure de Cachan | 2003 | 0 |
| Yu Zhang | École Normale Supérieure de Cac | — | 0 |