Quantcast
peoplepill id: patrick-cousot
PC
1 views today
2 views this week
Patrick Cousot

Patrick Cousot

French computer scientist
Patrick Cousot
The basics

Quick Facts

Intro French computer scientist
Is Computer scientist Engineer
From France
Type Engineering Technology Science
Gender male
Birth 3 December 1948
Age: 71 years
Star sign SagittariusSagittarius
Family
Spouse: Radhia Cousot
The details

Biography

Patrick Cousot (born 3 December 1948) is a French computer scientist.
Together with his wife Radhia (1947–2014), 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 (Astrée), 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 CNRS Silver medal and in 2006 the great prize of the EADS Foundation. In 2001, he was bestowed an honorary doctorate by Saarland University, Germany. With Radhia Cousot, he received the ACM SIGPLAN Programming Languages Achievement Award in 2013 and the IEEE Computer Society Harlan D. Mills award in 2014; “ For the invention of ‘abstract interpretation’, development of tool support, and its practical application ”. Dr. Cousot is a member of the Board of Trustees at the IMDEA Software Institute.

The contents of this page are sourced from Wikipedia article. The contents are available under the CC BY-SA 4.0 license.
comments so far.
Comments
arrow-left arrow-right arrow-up arrow-down instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube stumbleupon comments comments pandora gplay iheart tunein pandora gplay iheart tunein itunes