Patrick Cousot, Ph.D.

Patrick Cousot received the Doctor Engineer degree in Computer Science and the Doctor ès Sciences degree in Mathematics from the Grenoble Alps University, France.

Patrick Cousot is Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA.

Before he was Professor at the the École Normale Supérieure, Paris, France, the École Polytechnique and the University of Lorraine and a Research Scientist at the French National Center for Scientific Research at the University Joseph Fourier of Grenoble, France.

Patrick Cousot is the inventor, with Radhia Cousot, of Abstract Interpretation.
Patrick Cousot was awarded the Silver Medal of the CNRS (1999), a honorary doctorate from the Fakultät Mathematik und Informatik of the Universität des Saarlandes (2001), the Grand Prix of Computer Science and its Applications of the Fondation Airbus Group attributed by the French Academy of Sciences (2006), a Humboldt Research Award (2008), and, with Radhia Cousot, the ACM-SIPLAN Programming Languages Achievement Award (2013), the IEEE Harlan D. Mills Joint Award (2014), and the IEEE John Von Neumann Medal (2018) ``For introducing abstract interpretation, a powerful framework for automatically calculating program properties with broad application to verification and optimization'', a doctorate ``Ad Honorem'' in Computer Science by the Ca' Foscari University of Venice (2020), Fellow of the ACM “For contributions to programming languages through the invention and development of abstract interpretation” (2020). He is Member of the Academia Europaæ, Informatics section (since 2006).

Abstract Interpretation: From Principles to Applications

July 30, 2021

Watch Now