Hispanopedia Wiki
Articulo de referencia

Radhia Cousot

\n[[IEEE Computer Society]] Harlan D. Mills Award"},"religion":{"wt":""},"footnotes":{"wt":""}},"i":0}}]}"> Radhia Cousot, de soltera Rezig (6 de agosto de 1947 – 1 de mayo de 2...

Hispanopedia WikiContenido en espanolLectura gratuita

Radhia Cousot, de soltera Rezig (6 de agosto de 1947 – 1 de mayo de 2014) [ 1 ] [ 2 ] fue una científica informática francesa conocida por inventar la interpretación abstracta . [ 3 ] [ 4 ] [ 5 ]

Biografía

Primeros años y educación

Radhia Cousot nació como Radhia Rezit el 6 de agosto de 1947 en Sakiet Sidi Youssef , en el protectorado francés de Túnez . [ 6 ] Sobrevivió a la masacre de los niños de su escuela el 8 de febrero de 1958. [ 5 ] Criada en el nuevo estado poscolonial tunecino, en rápida evolución, desarrolló un gran interés por las matemáticas y la lógica, y obtuvo un alto rendimiento académico en el liceo francés de Argel. [ 2 ] [ 7 ] Posteriormente estudió en la escuela politécnica de Argel, donde fue la mejor de su clase y la única mujer en su curso. [ 7 ]

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 con su tesis titulada Fondements des méthodes de preuve d'invariance et de fatalité de programs parallèles . [ nb 1 ] [ 8 ]

Carrera

Radhia Cousot fue nombrada investigadora asociada en el laboratorio IMAG de la Universidad Joseph Fourier de Grenoble (1975-1979). Desde 1980 trabajó en el Centre national de la recherche scientifique , como investigadora junior, investigadora, investigadora senior e investigadora senior emérita en los laboratorios de informática de la Universidad Henri Poincaré de Nancy (1980-1983). Trabajó en la Universidad de París-Sud en Orsay de 1984 a 1988, luego en la École Polytechnique (1989-2008), donde desde 1991 dirigió el equipo de investigación "Semántica, Demostración e Interpretación Abstracta", y en la École Normale Supérieure (2006-2014).

Cousot supervisó a 9 estudiantes de doctorado. [ 8 ]

Muerte

Cousot murió en Nueva York de cáncer el 1 de mayo de 2014. [ 9 ] [ 10 ]

Investigación

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

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

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

Radhia Cousot fue la impulsora de los contactos con Airbus en enero de 1999, que dieron lugar al desarrollo del analizador de errores en tiempo de ejecución Astrée a partir de 2001. Se trata de una herramienta para el análisis estático de programas de software de control/comando integrado , desarrollada en la École Normale Supérieure [ 14 ] y distribuida actualmente por AbsInt GmbH [ 15 ] , una empresa de software alemana especializada en análisis estático. Astrée se utiliza en los sectores del transporte , el espacio y el software médico .

Premios y reconocimientos

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

En 2026, Cousot fue anunciada como una de las 72 mujeres históricas en ciencia, tecnología, ingeniería y matemáticas (STEM) cuyos nombres se propusieron agregar a los 72 hombres ya homenajeados en la Torre Eiffel [ 19 ] como parte del Proyecto Hypatia. En un principio se acordó que solo se incluirían mujeres francesas, pero Cousot fue uno de los nombres que el proponente original de la idea, Benjamin Rigaud, dijo que debían incluirse. [ 20 ] El plan fue anunciado por la alcaldesa de París, Anne Hidalgo, tras las recomendaciones de un comité liderado por Isabelle Vauglin de Femmes et Sciences y Jean-François Martins, representante de la empresa operadora que gestiona la Torre Eiffel. [ 19 ] [ 21 ] [ 22 ] [ 23 ] [ 7 ]

Premio Radhia Cousot al mejor artículo de investigación joven

Desde septiembre de 2014, el premio Radhia Cousot al mejor artículo de investigación joven [ 24 ] es otorgado anualmente por el presidente del programa en nombre del comité del programa de los Simposios de Análisis Estático (SAS). [ 25 ]

  • 2014 ( Múnich , Alemania ): Aleksandar Chakarov (Universidad de Colorado, Boulder, CO, EE. UU.), Expectation invariants for probabilistic program loops as fixed points (con Sriram Sankaranarayanan), M. Müller-Olm y H. Seidl (Eds.): SAS 2014 , LNCS 8723 , pp.  85–100, Springer
  • 2015 ( Saint Malo , Francia ): Marianna Rapoport (Universidad de Waterloo, Ontario, Canadá), Análisis preciso del flujo de datos en presencia de llamadas a métodos correlacionadas (con Ondrej Lhoták y Frank Tip), S. Blazy y T. Jensen (Eds.): SAS 2015 , LNCS 9291 , pp.  54–71, Springer
  • 2016 ( Edimburgo , Escocia ): Stefan Schulze Frielinghaus ( Universidad Técnica de Múnich , Alemania), Enforcing Termination of Interprocedural Analysis (con Helmut Seidl y Ralf Vogler), Xavier Rival (Ed.): SAS 2016 , LNCS 9837 , pp.  447–468, Springer
  • 2017 ( Nueva York , NY, EE. UU. ): Suvam Mukherjee (Instituto Indio de Ciencias, 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 , pp. 253–276, Springer

Publicaciones

  • Análisis estático mediante interpretación abstracta de software crítico integrado [ 26 ]
  • Semántica gramatical, análisis y análisis sintáctico mediante interpretación abstracta [ 27 ]
  • Un marco de interpretación abstracta para la terminación [ 28 ]
  • Un entorno de desarrollo integrado semántico [ 29 ]
  • Un marco de interpretación abstracta para la refactorización con aplicación para extraer métodos con contratos [ 30 ]
  • Teorías, solucionadores y análisis estático mediante interpretación abstracta [ 31 ]
  • ANDROMEDA: análisis de seguridad preciso y escalable de aplicaciones web [ 32 ]
  • Inferencia automática de precondiciones necesarias [ 33 ]
  • Un cálculo de conexión de Galois para la interpretación abstracta [ 34 ]
  • Análisis estático y verificación de software aeroespacial mediante interpretación abstracta [ 35 ]

Researchgate registra 99 publicaciones de Coursot [ 36 ]

Notas

  1. ↑ En la década de 1980, existían en Francia dos niveles de doctorado; el superior, el Doctorate ès Sciences/Doctorado Estatal, era necesario para acceder a las cátedras . Desde entonces, ha sido sustituido por la habilitación .

Referencias

  1. ↑ «Disparición de Radhia Cousot» . Institut des sciences de l'information et de leurs interacciones - CNRS (en francés).
  2. 1 2 "Cousotpublisher=Imago Mundi" (en francés) . Consultado el 25 de junio de 2026 .
  3. ↑ Giacobazzi, Roberto; Ranzato, Francesco (2021). "Historia de la interpretación abstracta". IEEE Annals of the History of Computing . 44 (2): 33– 43. doi : 10.1109/mahc.2021.3133136 . hdl : 11577/3416542 .
  4. ↑ "Radhia Cousot" . IEEE Computer Society . 7 de junio de 2018.
  5. 1 2 "Radhia Cousot" . Sociedad de Historia de la Informática .
  6. ^ "matchID - Motor de búsqueda de décès" . deces.matchid.io . Consultado el 25 de junio de 2026 .
  7. ^ 1 2 3 72 femmes de sciences pour la tour Eiffel Femmes & Sciences (en francés). Consultado el 25 de junio de 2026.
  8. 1 2 "Radhia Cousot - El proyecto de genealogía matemática" . mathgenealogy.org . Consultado el 25 de junio de 2026 .
  9. ↑ "Cousot, Radhia" . La Biblioteca Nacional de Israel . Consultado el 4 de mayo de 2026 .
  10. ↑ "Radhia Cousot" . Sociedad de Historia de la Informática .
  11. ↑ Cousot, Patrick; Cousot, Radhia (1 de enero de 1977). "Interpretación abstracta" . Interpretación abstracta: un modelo reticular unificado para el análisis estático de programas mediante la construcción o aproximación de puntos fijos . ACM. págs. 238–252 . CiteSeerX 10.1.1.216.8213 . doi : 10.1145/512950.512973 . S2CID 207614632 – vía dl.acm.org.   
  12. ↑ Cousot, Patrick; Cousot, Radhia (1 de enero de 1979). "Diseño sistemático de marcos de análisis de programas" . Actas del 6.º simposio ACM SIGACT-SIGPLAN sobre Principios de lenguajes de programación - POPL '79 . ACM. págs. 269–282 . CiteSeerX 10.1.1.207.2895 . doi : 10.1145/567752.567778 . S2CID 1547466 – vía dl.acm.org.   
  13. ↑ «R. Cousot, Fundamentos de métodos de prevención de invariancia y fatalidad de programas paralelos» . www.di.ens.fr. ​Archivado desde el original el 23 de septiembre de 2015 . Consultado el 23 de agosto de 2019 .
  14. ↑ " Página principal del analizador estático Astrée en la ENS" . ens.fr.
  15. ↑ «Analizador de errores en tiempo de ejecución de Astrée» . www.absint.com .
  16. ↑ "Premio al logro en lenguajes de programación " . www.sigplan.org
  17. ↑ "Premio Harlan D. Mills" . Sociedad de Computación IEEE .
  18. ↑ "Radhia Cousot" . IEEE Computer Society . 7 de junio de 2018.
  19. 1 2 "Torre Eiffel: una lista de 72 mujeres científicas pronto será inscrita en el monumento parisino" . www.sortiraparis.com . Consultado el 2 de febrero de 2026 .
  20. ↑ "El proyecto Hypatia: grabar los nombres de 72 mujeres científicas en la Torre Eiffel" . Sorbonne Université . Consultado el 15 de junio de 2026 .
  21. ↑ "La Torre Eiffel homenajeará a 72 mujeres científicas para la posteridad" . 26 de enero de 2026. Consultado el 3 de febrero de 2026 .
  22. ↑ "La Torre Eiffel homenajeará a 72 mujeres científicas para la posteridad" . 26 de enero de 2026. Consultado el 25 de junio de 2026 .
  23. ↑ «Les noms des 72 femmes pour la Tour Eiffel ont été révélés» . Mujeres y Ciencias (en francés) . Consultado el 8 de febrero de 2026 .
  24. ↑ "Premio Radhia Cousot al mejor artículo de investigación joven" . www.di.ens.fr. Archivado del original el 18 de mayo de 2014.
  25. ↑ "Sitio central de simposios de análisis estático" . staticanalysis.org .
  26. ↑ Julien Bertrane, Julien; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier (24 de enero de 2011). "Análisis estático mediante interpretación abstracta de software crítico integrado" . ACM SIGSOFT Software Engineering Notes . 36 (1): 1–8 . doi : 10.1145/1921532.1921553 . ISSN 0163-5948 – vía Research Gate. 
  27. ↑ Cousot, Patrick; Cousot, Radhia (octubre de 2011). "Semántica gramatical, análisis y análisis sintáctico mediante interpretación abstracta" . Theoretical Computer Science . 412 (44): 6135– 6192. doi : 10.1016/j.tcs.2011.06.005 – vía Research Gate.
  28. ↑ Cousot, Patrick; Cousot, Radhia (18 de enero de 2012). "Un marco de interpretación abstracta para la terminación" . ACM SIGPLAN Notices . 47 (1): 245–258 . doi : 10.1145/2103621.2103687 . ISSN 0362-1340 – vía Research Gate. 
  29. ↑ Logozzo, Francesco; Barnett, Michael; Fähndrich, Manuel A.; Cousot, Patrick; Cousot, Radhia (19 de octubre de 2012). «Un entorno de desarrollo integrado semántico» . ACM . ACM: 15–16 . doi : 10.1145/2384716.2384724 . ISBN 978-1-4503-1563-0– vía Research Gate.
  30. ↑ Cousot, Patrick M.; Cousot, Radhia; Logozzo, Francesco; Barnett, Michael (19 de octubre de 2012). "Un marco de interpretación abstracto para la refactorización con aplicación para extraer métodos con contratos". OOPSLA '12: Actas de la conferencia internacional de la ACM sobre lenguajes y aplicaciones de sistemas de programación orientada a objetos . Association for Computing Machinery. págs. 213–232 . doi : 10.1145/2384616.2384633 . ISBN  978-1-4503-1561-6.
  31. ↑ Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent (diciembre de 2012). "Teorías, solucionadores y análisis estático mediante interpretación abstracta" . Journal of the ACM . 59 (6): 1– 56. doi : 10.1145/2395116.2395120 . ISSN 0004-5411 – vía Research Gate. 
  32. ↑ Tripp, Omer; Pistoia, Marco; Cousot, Patrick; Cousot, Radhia; Guarnieri, Salvatore (2013). "Andromeda: Análisis de seguridad preciso y escalable de aplicaciones web". En Cortellessa, Vittorio; Varró, Dániel (eds.). Enfoques fundamentales de la ingeniería de software: 16.ª Conferencia Internacional, FASE 2013, celebrada como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ETAPS 2013, Actas . Springer Berlin Heidelberg. pp. 210–225 . doi : 10.1007/978-3-642-37057-1_15 . ISBN  978-3-642-37056-4.
  33. ↑ Cousot, Patrick; Cousot, Radhia; Fähndrich, Manuel; Logozzo, Francesco (2013). "Inferencia automática de precondiciones necesarias". En Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella (eds.). Verificación, comprobación de modelos e interpretación abstracta: 14.ª Conferencia Internacional, VMCAI 2013, Actas . Springer Berlin Heidelberg. pp. 128–148 . doi : 10.1007/978-3-642-35873-9_10 . ISBN  978-3-642-35872-2.
  34. ↑ Cousot, Patrick; Cousot, Radhia (enero de 2014). «Un cálculo de conexión de Galois para la interpretación abstracta» . ACM SIGPLAN Notices . 49 (1). ACM: 3–4 . doi : 10.1145/2535838.2537850 . ISBN 978-1-4503-2544-8– vía Research Gate.
  35. ↑ Bertrane, Julien; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier (15 de diciembre de 2015). "Análisis estático y verificación de software aeroespacial mediante interpretación abstracta" . Foundations and Trends® in Programming Languages . 2 ( 2–3 ): 71–190 . doi : 10.1561/2500000002 . ISSN 2325-1107 – vía Research Gate. 
  36. ^ "Radhia COOUSOT | Ecole Normale Supérieure de Paris, París | ENS | Département d'Informatique | Perfil de investigación" . Puerta de investigación . Consultado el 1 de julio de 2026 .