Patrick Cousot

MathSciNet


Ph.D. Université Joseph Fourier Grenoble I 1974 France
Dissertation: Définition interprétative et implantation de langages de programmation
Mathematics Subject Classification: 68—Computer science

Advisor: Michael Griffiths

Thèse d'État ès Sciences Mathematiques Université Joseph Fourier Grenoble I 1978 France
Dissertation: Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
Mathematics Subject Classification: 68—Computer science

Advisor 1: Philippe Jorrand

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

NameSchoolYearDescendants
Halbwachs, NicolasInstitut National Polytechnique de Grenoble and Université Joseph Fourier Grenoble I197922
Goubault-Larrecq, JeanÉcole Polytechnique199312
Monsuez, BrunoÉcole Polytechnique19941
Goubault, EricÉcole Polytechnique19954
Monniaux, DavidUniversité Paris IX - Dauphine2001
Miné, AntoineÉcole Normale Supérieure20041
Feret, JérômeÉcole Normale Supérieure2005

According to our current on-line database, Patrick Cousot has 7 students and 46 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 122541 for the advisor ID.