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 listed in chronological order.

NameSchoolYearDescendants
Feret, JérômeÉcole Normale Supérieure2005
Goubault, EricÉcole Polytechnique19952
Halbwachs, NicolasInstitut National Polytechnique de Grenoble and Université Joseph Fourier Grenoble I197916
Miné, AntoineÉcole Normale Supérieure20041
Monniaux, DavidUniversité Paris IX - Dauphine2001

According to our current on-line database, Patrick Cousot has 5 students and 24 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.