Patrick Cousot
Patrick Cousot (born December 3, 1948 in New York City ) is a French computer scientist.
He studied at the École nationale supérieure des mines de Nancy and the University of Grenoble , where he received his doctorate in 1974 with Michael Griffiths , with the second part of the French doctorate, the Doctorat d'Etat, in 1978 with Philippe Jorrand . He did research for the CNRS at the University of Grenoble, was a professor in Metz and at the École Polytechnique and was professor at the École normal supérieure from 1991 . He later became a professor at the Courant Institute of Mathematical Sciences of New York University .
He was visiting professor at the MIT Aeronautics and Astronautics Department.
With his wife Radhia Cousot he developed the abstract interpretation method in program analysis around 1975 . In 2013 they received the Harlan D. Mills Award from the IEEE Computer Society and in the same year the Programming Languages Achievement Award from ACM SIGPLAN . In 2006 he received the EADS (Airbus) Grand Prize for Computer Science for the development of error checking software for embedded systems (Astrée) with his wife and in 1999 the CNRS silver medal. He is an honorary doctor of the Saarland University (2001), Knight of the Ordre National du Mérite and the Ordre des Palmes académiques. Since 2006 he has been a full member of the Academia Europaea . In 2008 he received the Humboldt Research Award . For 2018 he was awarded the John von Neumann Medal of the IEEE.
Web links
Individual evidence
- ↑ Patrick Cousot in the Mathematics Genealogy Project (English)
- ^ Membership directory: Patrick Cousot. Academia Europaea, accessed September 1, 2017 .
| personal data | |
|---|---|
| SURNAME | Cousot, Patrick |
| BRIEF DESCRIPTION | French computer scientist |
| DATE OF BIRTH | December 3, 1948 |
| PLACE OF BIRTH | New York City |