Patrick Cousot#
| Membership Number: | 2398 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2006 |
| Main Country of Residence: | FRANCE |
| Homepage(s): | http://www.di.ens.fr/~cousot |
Present and Previous Positions
- 1991 Professor of Computer Science at the École Normale Supérieure,Paris, France
- 1974 - 1979 Research Scientist at the French National Center for Scientific Research
- 1978 Doctor ès Sciences in Mathematics from the University of Grenoble
- 1974 Doctor Engineer (PhD) in Computer Science from the University of Grenoble
Fields of Scholarship
- Abstract Interpretation
Honours and Awards
- 1990 Chevalier (knight) in the Ordre des Palmes académiques
- 1993 The Ordre National du Mérite
- 1999 Silver Medal of the CNRS
- 2006 Grand Prix of Computer Science and its Applications of the EADS Corporate Research Foundation (2006)
- 2006 Member of the Academia Europaea
- 2008 Humboldt Research Award
