Radhia Cousot - Radhia Cousot

Radhia Cousot
RadhiaCousot - Imagen.jpg
Nacido ( 08/06/1947 ) 6 de agosto de 1947
Sakiet Sidi Youssef , Túnez
Fallecido 1 de mayo de 2014 (01/05/2014) (67 años)
Nueva York
Nacionalidad francés
alma mater Institut National Polytechnique de Lorraine
Conocido por Interpretación abstracta
Esposos) Patrick Cousot
Premios ACM SIGPLAN Premio al logro de lenguajes de programación
IEEE Computer Society Premio Harlan D. Mills
Carrera científica
Campos Ciencias de la Computación
Tesis Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles   (1985)
Asesor de doctorado Pareja de Claude

Radhia Cousot (6 de agosto de 1947 - 1 de mayo de 2014) fue una científica informática francesa conocida por inventar la interpretación abstracta .

Estudios

Radhia Cousot nació el 6 de agosto de 1947 en Sakiet Sidi Youssef en Túnez , donde sobrevivió a la masacre de los niños en su escuela el 8 de febrero de 1958 . Luego fue al Lycée de jeunes filles en Sousse , al Lycée français en Argel y luego a la Escuela Politécnica de Argel (donde ocupó el primer lugar y la única mujer). Se especializó en optimización matemática y programación lineal entera . Con el apoyo de una beca de la UNESCO (1972-1975), obtuvo una maestría en Ciencias de la Computación ( Diplôme d'études approfondies (DEA) ) en la Universidad Joseph Fourier de Grenoble en 1972. Obtuvo su Doctorado en Ciencias / Doctorado Estatal en Matemáticas en Nancy en 1985 bajo la supervisión de Claude Pair  [ fr ] .

Carrera profesional

Radhia Cousot fue nombrada científica investigadora asociada en el laboratorio IMAG de la Universidad Joseph Fourier de Grenoble (1975-1979) y, a partir de 1980, en el Centre national de la recherche scientifique , como investigadora junior, investigadora científica, investigadora senior, y científica investigadora senior emérita en los laboratorios de informática de la Universidad Henri Poincaré de Nancy (1980-1983), la Universidad de Paris-Sud en Orsay (1984-1988), la École Polytechnique (1989-2008), donde desde 1991 dirigió el equipo de investigación “Semántica, prueba e interpretación abstracta”, y la École Normale Supérieure (2006-2014).

Logros científicos

Junto con su esposo Patrick , Radhia Cousot es la creadora de la interpretación abstracta , una técnica influyente en los métodos formales . La interpretación abstracta se basa en tres ideas principales.

  1. Cualquier análisis de razonamiento / prueba / estático en un sistema informático se refiere a una semántica que describe, en algún nivel de abstracción, sus posibles ejecuciones.
  2. El análisis de razonamiento / prueba / estático debe abstraer todas las propiedades semánticas irrelevantes para el razonamiento.
  3. Debido a la indecidibilidad , los razonamientos sólidos, completamente automatizados y siempre terminantes sobre / pruebas / análisis estático de sistemas informáticos deben realizar inducciones matemáticas en abstracto y, por lo tanto, solo pueden ser aproximados (incluso con hipótesis de finitud y decidibilidad, debido a una explosión combinatoria más allá de lo diminuto). sistemas).

En su tesis, Radhia Cousot avanzó los métodos de semántica, prueba y análisis estático para programas concurrentes y paralelos .

Radhia Cousot está en el origen de los contactos con Airbus en enero de 1999 que llevaron al desarrollo del analizador de errores en tiempo de ejecución Astrée a partir de 2001, una herramienta para el análisis de programas estáticos de sonido de software de control / comando integrado desarrollado en la École Normale Supérieure y ahora distribuido por AbsInt GmbH , una empresa de software alemana especializada en análisis estático. Astrée se utiliza en las industrias de software médico , espacial y de transporte .

Premios

Con Patrick Cousot , recibió el premio ACM SIGPLAN Programming Languages ​​Achievement Award en 2013 y el premio IEEE Computer Society IEEE Computer Society Harlan D. Mills en 2014 por "la invención de la ' interpretación abstracta ', el desarrollo de soporte de herramientas y su aplicación práctica" .

Premio Radhia Cousot al mejor trabajo investigador joven

Desde septiembre de 2014, el presidente del programa otorga anualmente el premio Radhia Cousot al mejor trabajo de investigación joven en nombre del comité del programa de los Simposios de Análisis Estático (SAS).

  • 2014 ( Múnich , Alemania ): Aleksandar Chakarov (Universidad de Colorado, Boulder, CO, EE. UU.), Invariantes de expectativa para bucles de programa probabilísticos como puntos fijos (con Sriram Sankaranarayanan), M. Müller-Olm & H. Seidl (Eds.): SAS 2014 , LNCS 8723 , págs. 85–100, Springer
  • 2015 ( Saint Malo , Francia ): Marianna Rapoport (Universidad de Waterloo, Ontario, Canadá), Análisis de flujo de datos preciso en presencia de llamadas de método correlacionadas , (con Ondrej Lhoták y Frank Tip), S. Blazy & T. Jensen (Eds .): SAS 2015 , LNCS 9291 , págs. 54–71, Springer
  • 2016 ( Edimburgo , Escocia ): Stefan Schulze Frielinghaus (Technische Universität München, Alemania), Enforcing Termination of Interprocedural Analysis , (con Helmut Seidl y Ralf Vogler), Xavier Rival (Ed.): SAS 2016 , LNCS 9837 , págs. 447– 468, Springer
  • 2017 ( Nueva York , NY, EE . UU. ): Suvam Mukherjee (Indian Institute of Science, Bangalore, India) y Oded Padon (Universidad de Tel Aviv, Israel), Thread-Local Semantics and its Efficient Sequential Abstractions for Race-Free Programs , (con Sharon Shoham, Deepak D'Souza y Noam Rinetzky), Francesco Ranzato (Ed.): SAS 2017 , LNCS 10422 , págs. 253–276, Springer

Notas

Referencias

enlaces externos