Patrick Cousot is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, and previously a professor at the Ecole Normale Superieure in Paris. With his wife Radhia Cousot, he originated abstract interpretation, an influential technique in formal methods, and in the 2000s the pair worked on practical static analysis methods for critical embedded software such as the Astree tool used in avionics. Their work earned the 2013 ACM SIGPLAN Programming Languages Achievement Award and the 2014 IEEE Computer Society Harlan D. Mills Award, and Patrick Cousot received the 2018 IEEE John von Neumann Medal for introducing abstract interpretation.
Facts
AwardProgramming Languages Achievement Award 1 AwardIEEE John von Neumann Medal 1 Awardhonorary doctor of the Saarland University 1 Connections
In Field
Source Wikipedia: Patrick Cousot
In the Other Atlases
- Also in Geography Atlas: France, nationality there.
Sources
1. Wikidata: Patrick Cousot
- Wikidata Q2385483, class allow-list match (w-wdresolver-0926)
- Wikidata Q2385483 P569 (date of birth)
2. Wikipedia: Patrick Cousot
Wikimedia Foundationlead sentence
Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA.
- In Field: Formal Methods, Infobox field and known_for, lead paragraph
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.