Patrick Cousot
From Wikipedia, the free encyclopedia
Patrick Cousot (born 3 December 1948) is a French computer scientist.
Cousot originated abstract interpretation. In the 2000s he has worked on practical methods of static analysis for critical embedded software, such as found in avionics. He has been Professor of Computer Science at the École Normale Supérieure (ENS) in Paris since 1991.
He is a knight (Chevalier) in the Ordre National du Mérite and the Ordre des Palmes académiques. In 1999 he received the silver medal of CNRS and in 2006 the great prize of the EADS Foundation. In 2001, he was bestowed a honorary doctorate by Saarland University, Germany.
[edit] References
[edit] External links
- Patrick Cousot home page at ENS
- Patrick Cousot home page at MIT
- Patrick Cousot bibliography in the DBLP database