Patrick Cousot (nacido el 3 de diciembre de 1948) es un francés informático, actualmente profesor de plata de Informática de la Instituto Courant de Ciencias Matemáticas , Universidad de Nueva York , EE.UU.. Antes fue profesor en la École Normale Supérieure (ENS), París, Francia, la École Polytechnique , Palaiseau, Francia y la Universidad de Metz , Francia y un científico investigador en el Centro Nacional Francés de Investigación Científica (CNRS) en el Joseph Fourier. Universidad , Grenoble, Francia.
Patrick Cousot | |
---|---|
Nació | 3 de diciembre de 1948 |
Nacionalidad | francés |
alma mater | École Nationale Supérieure des Mines de Nancy , Universidad Joseph Fourier Grenoble I |
Conocido por | Interpretación abstracta |
Esposos) | Radhia Cousot |
Premios | Medalla de plata CNRS Gran premio del doctorado honorario de la Fundación EADS |
Carrera científica | |
Tesis |
|
Asesor de doctorado | Michael Griffiths (1974), Philippe Jorrand (1978) |
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 incrustado crítico ( Astrée ), como el que se encuentra en la aviónica .
En 1999 recibió la medalla de plata 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 . Con Radhia Cousot , recibió el premio ACM SIGPLAN Programming Languages Achievement Award en 2013 y el premio Harlan D. Mills de IEEE Computer Society en 2014, “Por la invención de la ' interpretación abstracta ', el desarrollo de soporte de herramientas y su aplicación práctica”. Recibió un Premio de Investigación Humboldt en 2008 y la Medalla John von Neumann IEEE 2018 "por introducir la interpretación abstracta , un marco poderoso para calcular automáticamente las propiedades del programa con una amplia aplicación a la verificación y optimización". Es caballero ( Chevalier ) de la Ordre National du Mérite y de la Ordre des Palmes académiques , miembro de la Academia Europaea , sección de Informática (desde 2006) y miembro del Patronato del Instituto IMDEA Software .
Referencias
- Biografia corta
enlaces externos
- Página de inicio de Patrick Cousot en NYU
- Página de inicio de Patrick Cousot en ENS
- Página de inicio 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