Great prize of the EADS Foundation honorary doctorates by Saarland University and Ca' Foscari University of Venice ACM SIGPLAN Programming Languages Achievement Award IEEE Computer Society Harlan D. Mills Award IEEE John von Neumann Medal ACM Fellow 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 the 2000s, he has worked on practical methods of static analysis for critical embedded software (Astrée), such as found in avionics.

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".

He received a Humboldt Research Award in 2008 and the 2018 IEEE John von Neumann Medal "for introducing abstract interpretation, a powerful framework for automatically calculating program properties with broad application to verification and optimisation".

In 2020 Cousot was recognized ACM Fellow "for contributions to programming languages through the invention and development of abstract interpretation".