Patrick Cousot
Patrick Cousot | |
---|---|
École Nationale Supérieure des Mines de Nancy, Université Joseph Fourier Grenoble I | |
Known for | Abstract interpretation |
Spouse | Radhia Cousot |
Awards | CNRS Silver Medal Great prize of the EADS Foundation honorary doctorates by Saarland University and Ca' Foscari University of Venice ACM SIGPLAN Programming Languages Achievement Award IEEE Computer Society Harlan D. Mills Award IEEE John von Neumann Medal ACM Fellow EATCS Award |
Scientific career | |
Theses |
|
Doctoral advisor | Michael Griffiths (1974), Philippe Jorrand (1978) |
Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the
French National Center for Scientific Research (CNRS) at the Joseph Fourier University
, Grenoble, France.
Together with his wife
.In 1999 he received the
IMDEA Software Institute
.
References
External links
Wikimedia Commons has media related to Patrick Cousot.
- Patrick Cousot home page at NYU
- Patrick Cousot home page at ENS
- Patrick Cousot home page at MIT
- Patrick Cousot at DBLP Bibliography Server
- Patrick Cousot at the Mathematics Genealogy Project