Patrick Cousot

From Wikipedia, the free encyclopedia

Patrick Cousot

Born	3 December 1948
Residence	Paris
Nationality	French
Known for	Abstract interpretation
Notable awards	Silver medal of CNRS Great prize of the EADS Foundation honorary doctorate by Saarland University

Patrick Cousot (born 3 December 1948) is a French computer scientist.

Together with his wife Radhia, Cousot is the originator of abstract interpretation, an influential technique in formal methods. 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. As of March 2008, Cousot is a Professor of Computer Science at New York University.

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 an honorary doctorate by Saarland University, Germany. Dr. Cousot is a member of the Board of Trustees at the IMDEA Software Institute.

References

Short biography

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
List of publications from the DBLP Bibliography Server

Authority control	VIAF: 72073515 ISNI: 0000 0001 0986 3767

Persondata
Name	Cousot, Patrick
Alternative names
Short description
Date of birth	3 December 1948
Place of birth
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.