Patrick Cousot

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.