Patrick Cousot
Ph.D. Université Joseph Fourier Grenoble I 1974
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
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Feret, Jérôme | École Normale Supérieure | 2005 | |
| Goubault, Eric | École Polytechnique | 1995 | 4 |
| Goubault-Larrecq, Jean | École Polytechnique | 1993 | 12 |
| Halbwachs, Nicolas | Institut National Polytechnique de Grenoble (INPG) and Université Joseph Fourier Grenoble I | 1979 | 22 |
| Miné, Antoine | École Normale Supérieure | 2004 | 1 |
| Monniaux, David | Université Paris IX - Dauphine | 2001 | |
| Monsuez, Bruno | École Polytechnique | 1994 | 1 |
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.