- Patrick Cousot
Infobox Scientist
name = Patrick Cousot
box_width =
image_width =
caption =
birth_date =3 December 1948
birth_place =
death_date =
death_place =
residence =Paris
citizenship =
nationality = French
ethnicity =
field =
work_institutions =
alma_mater =
doctoral_advisor =
doctoral_students =
known_for =Abstract interpretation
author_abbrev_bot =
author_abbrev_zoo =
influences =
influenced =
prizes = Silver medal ofCNRS
Great prize of theEADS Foundation
honorary doctorate bySaarland University
religion =
footnotes =Patrick Cousot (born
3 December 1948 ) is a French computer scientist.Cousot is the originator of
abstract interpretation , an influential technique informal methods . In the 2000s, he has worked on practical methods of static analysis for critical embedded software, such as found inavionics . He has been Professor of Computer Science at theÉcole Normale Supérieure (ENS) inParis since 1991. As of March 2008, Cousot is a Professor of Computer Science atNew York University .He is a knight (
Chevalier ) in theOrdre National du Mérite and theOrdre des Palmes académiques . In 1999 he received the silver medal ofCNRS and in 2006 the great prize of theEADS Foundation. In 2001, he was bestowed an honorary doctorate bySaarland University ,Germany .References
* [http://www.di.ens.fr/~cousot/cv/short.shtml Short biography]
External links
* [http://cs.nyu.edu/~pcousot/ Patrick Cousot home page] at
NYU
* [http://www.di.ens.fr/~cousot/ Patrick Cousot home page] at ENS
* [http://www.mit.edu/~cousot/ Patrick Cousot home page] atMIT
*
Wikimedia Foundation. 2010.