Patrick Cousot

Patrick Cousot (nacido el 3 de diciembre de 1948) es un científico informático francés, actualmente Catedrático de Informática en el Instituto Courant de Ciencias Matemáticas de la Universidad de Nueva York , EE. UU. Antes de ser profesor en la École Normale Supérieure (ENS) de París, Francia, trabajó en la École Polytechnique de Palaiseau, Francia, y en la Universidad de Metz , Francia, y fue investigador científico en el Centro Nacional de Investigación Científica (CNRS) de la Universidad Joseph Fourier de Grenoble, Francia.

Junto con su esposa Radhia Cousot (1947-2014 ) , Patrick Cousot es el creador de la interpretación abstracta , una técnica influyente en los métodos formales . En la década de 2000, trabajó en métodos prácticos de análisis estático para software embebido crítico ( Astrée ), como el que se encuentra en la aviónica .

En 1999 recibió la Medalla de Plata del CNRS y en 2006 el gran premio de la Fundación EADS . En 2001, la Universidad de Saarland , Alemania , le otorgó un doctorado honoris causa . Junto con Radhia Cousot , recibió el Premio ACM SIGPLAN a los Logros en Lenguajes de Programación en 2013 y el Premio Harlan D. Mills de la IEEE Computer Society en 2014, "Por la invención de la ' interpretación abstracta ', el desarrollo de herramientas de soporte y su aplicación práctica". Recibió un Premio de Investigación Humboldt en 2008 y la Medalla IEEE John von Neumann en 2018 "por la introducción de la interpretación abstracta , un marco potente para el cálculo automático de propiedades de programas con amplia aplicación a la verificación y la optimización". En 2020, Cousot fue reconocido como Miembro de la ACM "por sus contribuciones a los lenguajes de programación a través de la invención y el desarrollo de la interpretación abstracta". En 2022, Cousot recibió un doctorado honoris causa de la Universidad Ca' Foscari de Venecia . Recibió el premio EATCS 2022 , otorgado por EATCS en reconocimiento a sus extensas y reconocidas contribuciones a la informática teórica a lo largo de una dilatada trayectoria científica. Es caballero de la Orden Nacional del Mérito y de la Orden de las Palmas Académicas , miembro de la sección de Informática de la Academia Europaea (desde 2006) y miembro del Consejo de Administración del IMDEA Software Institute .

• Breve biografía

• Página principal de Patrick Cousot en la Universidad de Nueva York ( NYU).
• Página principal de Patrick Cousot en ENS
• Página principal de Patrick Cousot en el MIT.
• Patrick Cousot en el servidor de bibliografía DBLP
• Patrick Cousot en el Proyecto de Genealogía Matemática