Patrick Cousot#
| Email: | cousot 'at' ens.fr |
| Membership Number: | 2398 |
| Main Country of Residence: | FRANCE |
| Section: | INFORMATICS |
| Username: | pcousot |
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
- Chevalier (knight) in the Ordre des Palmes académiques (1990)
- The Ordre National du Mérite (1993)
- Silver Medal of the CNRS (1999)
- Grand Prix of Computer Science and its Applications of the EADS Corporate Research Foundation (2006)
- Member of the Academia Europaea (2006)
- Humboldt Research Award (2008)
| operated by | 
|