Patrick COUSOT    Professor of Computer Science    Courant Institute of Mathematical Sciences    New York University

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

Patrick Cousot is currently Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA and the École Normale Supérieure, Paris, France.

Before he was Professor at the École Polytechnique and the University of Metz 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 EADS Corporate Research Foundation attributed by the French Academy of Sciences (2006) and a Humboldt Research Award (2008). He is Member of the Academia Europæa (since 2006).