Biography:Radhia Cousot

From HandWiki
Radhia Cousot
Born
Radhia Rezig

(1947-08-06)6 August 1947
Sakiet Sidi Youssef, French Tunisia
Died1 May 2014(2014-05-01) (aged 67)
New York City, United States
CitizenshipFrench
Alma materInstitut National Polytechnique de Lorraine
Known forAbstract interpretation
Spouse(s)Patrick Cousot
AwardsACM SIGPLAN Programming Languages Achievement Award
IEEE Computer Society Harlan D. Mills Award
Scientific career
FieldsComputer science
ThesisFondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles (1985)
Doctoral advisorClaude Pair

Radhia Cousot, née Rezig (6 August 1947 – 1 May 2014)[1][2] was a French computer scientist known for inventing abstract interpretation. Her 1985 doctoral thesis advanced the semantics, proof, and static analysis methods for concurrent and parallel programs.[3][4][5]

Biography

Early life and education

Radhia Cousot was born as Radhia Rezit on 6 August 1947, in Sakiet Sidi Youssef in the French protectorate of Tunisia.[6] She survived the massacre of the children in her school on February 8, 1958.[5] Raised in the rapidly evolving new post-colonial state of Tunisia, she developed a strong interest in mathematics and logic, and achieved a high academic performance at the lycée français d'Alger.[2][7] She then studied at the l'École polytechnique d'Alger where she was both top of the class and the only woman on her course.[7]

She specialised in mathematical optimization and integer linear programming. Supported by a UNESCO fellowship (1972–1975), she earned a master's degree in Computer Science (Diplôme d'études approfondies (DEA)) at the Joseph Fourier University of Grenoble in 1972. She obtained her Doctorate ès Sciences/State Doctorate in Mathematics in Nancy in 1985 under the supervision of Claude Pair [fr; fr] with her dissertation entitled Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles.[nb 1][8]

Career

Radhia Cousot was appointed Associate research scientist at the IMAG laboratory of the Joseph Fourier University of Grenoble (1975–1979). From 1980 she worked at the Centre national de la recherche scientifique, as junior research scientist, research scientist, senior research scientist, and senior research scientist emerita at the Computer Science laboratories of the Henri Poincaré University of Nancy (1980–1983). She worked at the University of Paris-Sud at Orsay from 1984 to 1988, then the École Polytechnique (1989–2008) where from 1991 she headed the research team "Semantics, Proof and Abstract interpretation" and the École Normale Supérieure (2006–2014).

Cousot supervised eight PhD students.[8]

Death

Cousot died in New York from cancer on 1 May 2014.[9][10]

Research

Together with her husband Patrick, Radhia Cousot is the originator of abstract interpretation,[11][12] an influential technique in formal methods. Abstract interpretation is based on three main ideas.

  1. Any reasoning/proof/static analysis on a computer system refers to a semantics describing, at some level of abstraction, its possible executions.
  2. The reasoning/proof/static analysis should abstract away all semantic properties irrelevant to the reasoning.
  3. Because of undecidability, sound, fully automated, and always terminating reasonings on/proofs/static analysis of computer systems must perform mathematical inductions in the abstract and so, can only be approximate (even with finiteness and decidability hypothesis, because of combinatorial explosion beyond tiny systems).

In her thesis, Radhia Cousot advanced the semantics, proof, and static analysis methods for concurrent and parallel programs.[13]

Radhia Cousot is at the origin of the contacts with Airbus in January 1999 that led to the development of Astrée run-time error analyzer from 2001 onwards, a tool for sound static program analysis of embedded control/command software developed at the École Normale Supérieure[14] and now distributed by AbsInt GmbH,[15] a German software company specialised on static analysis. Astrée is used in the transportation, space, and medical software industries.

Awards and recognition

With Patrick Cousot, she received the ACM SIGPLAN Programming Languages Achievement Award[16] in 2013 and the IEEE Computer Society Harlan D. Mills award[17] in 2014 for "the invention of 'abstract interpretation', development of tool support, and its practical application".[18]

In 2026, Cousot was announced as one of 72 historical women in STEM whose names have been proposed to be added to the 72 men already celebrated on the Eiffel Tower[19] as part of the Hypatia Project. It was at one time agreed that strictly only French women should be included but Cousot was one of the names that the original proposer of the idea, Benjamin Rigaud, said should be included.[20] The plan was announced by the Mayor of Paris, Anne Hidalgo following the recommendations of a committee led by Isabelle Vauglin of Femmes et Sciences and Jean-François Martins, representing the operating company which runs the Eiffel Tower.[19][21][22][23][7]

Radhia Cousot best young researcher paper award

Since September 2014, the Radhia Cousot best young researcher paper award[24] is attributed annually by the program chair on behalf of the program committee of the Static Analysis Symposia (SAS).[25]

  • 2014 (Munich, Germany): Aleksandar Chakarov (University of Colorado, Boulder, CO, USA), Expectation invariants for probabilistic program loops as fixed points (with Sriram Sankaranarayanan), M. Müller-Olm & H. Seidl (Eds.): SAS 2014, LNCS 8723, pp. 85–100, Springer
  • 2015 (Saint Malo, France): Marianna Rapoport (University of Waterloo, Ontario, Canada), Precise Data Flow Analysis in the Presence of Correlated Method Calls, (with Ondrej Lhoták and Frank Tip), S. Blazy & T. Jensen (Eds.): SAS 2015, LNCS 9291, pp. 54–71, Springer
  • 2016 (Edinburgh, Scotland): Stefan Schulze Frielinghaus (Technical University of Munich, Germany), Enforcing Termination of Interprocedural Analysis, (with Helmut Seidl and Ralf Vogler), Xavier Rival (Ed.): SAS 2016, LNCS 9837, pp. 447–468, Springer
  • 2017 (New York, NY, USA): Suvam Mukherjee (Indian Institute of Science, Bangalore, India) and Oded Padon (Tel Aviv University, Israel), Thread-Local Semantics and its Efficient Sequential Abstractions for Race-Free Programs, (with Sharon Shoham, Deepak D'Souza, and Noam Rinetzky), Francesco Ranzato (Ed.): SAS 2017, LNCS 10422, pp 253–276, Springer

Publications

  • Static Analysis by Abstract Interpretation of Embedded Critical Software[26]
  • Grammar semantics, analysis and parsing by abstract interpretation[27]
  • An Abstract Interpretation Framework for Termination[28]
  • A Semantic Integrated Development Environment[29]
  • An Abstract Interpretation Framework for Refactoring with Application to Extract Methods with Contracts[30]
  • Theories, Solvers and Static Analysis by Abstract Interpretation[31]
  • ANDROMEDA: accurate and scalable security analysis of web applications[32]
  • Automatic Inference of Necessary Preconditions[33]
  • A Galois Connection Calculus for Abstract Interpretation[34]
  • Static Analysis and Verification of Aerospace Software by Abstract Interpretation[35]

Researchgate records 99 publications by Coursot[36]

Notes

  1. ↑ In the 1980s, there existed in France two levels of PhDs, the higher one, the Doctorate ès Sciences/State Doctorate being necessary to access professorships. It has since been replaced by the habilitation.

References

  1. ↑ "Disparition de Radhia Cousot" (in fr). Institut des sciences de l'information et de leurs interactions - CNRS. http://www.cnrs.fr/ins2i/spip.php?article733. 
  2. ↑ 2.0 2.1 "Cousotpublisher=Imago Mundi" (in French). https://cosmovisions.com/Cousot.htm. 
  3. ↑ Giacobazzi, Roberto; Ranzato, Francesco (2021). "History of abstract interpretation". IEEE Annals of the History of Computing 44 (2): 33–43. doi:10.1109/mahc.2021.3133136. 
  4. ↑ "Radhia Cousot". IEEE Computer Society. 7 June 2018. https://www.computer.org/profiles/radhia-cousot. 
  5. ↑ 5.0 5.1 "Radhia Cousot". IT History Society. https://ithistory.org/honoree/radhia-cousot. 
  6. ↑ "matchID - Moteur de recherche des décès". https://deces.matchid.io/search?q=Rezig+Radhia. 
  7. ↑ 7.0 7.1 7.2 72 femmes de sciences pour la tour Eiffel Femmes & Sciences (in French). Retrieved 2026-06-25
  8. ↑ 8.0 8.1 "Radhia Cousot - The Mathematics Genealogy Project". https://mathgenealogy.org/id.php?id=135743. 
  9. ↑ "Cousot, Radhia". https://www.nli.org.il/en/authorities/987007422664505171. 
  10. ↑ "Radhia Cousot". IT History Society. https://ithistory.org/honoree/radhia-cousot. 
  11. ↑ Cousot, Patrick; Cousot, Radhia (1 January 1977). "Abstract interpretation". Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. ACM. pp. 238–252. doi:10.1145/512950.512973. http://dl.acm.org/citation.cfm?id=512950.512973. 
  12. ↑ Cousot, Patrick; Cousot, Radhia (1 January 1979). "Systematic design of program analysis frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM. pp. 269–282. doi:10.1145/567752.567778. http://dl.acm.org/citation.cfm?id=567752.567778. 
  13. ↑ "R. Cousot, Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles.". https://www.di.ens.fr/~rcousot/COUSOTpapers/THESE-RC-1985.shtml. 
  14. ↑ "Home page of the Astrée Static Analyzer at ENS". http://www.astree.ens.fr/. 
  15. ↑ "Astrée Runtime Error Analyzer". http://www.absint.com/astree/index.htm,. 
  16. ↑ "Programming Languages Achievement Award". http://www.sigplan.org/Awards/Achievement/. 
  17. ↑ "Harlan D. Mills Award". IEEE Computer Society. http://www.computer.org/portal/web/awards/harlan. 
  18. ↑ "Radhia Cousot". IEEE Computer Society. 7 June 2018. https://www.computer.org/profiles/radhia-cousot. 
  19. ↑ 19.0 19.1 "Eiffel Tower: a list of 72 women scientists will soon be inscribed on the Parisian monument" (in en). https://www.sortiraparis.com/en/news/in-paris/articles/340564-eiffel-tower-list-of-72-women-scientists-soon-to-be-honored-on-the-paris-landmark. 
  20. ↑ "The Hypatia project: engraving the names of 72 women scientists on the Eiffel Tower" (in en). https://www.sorbonne-universite.fr/en/news/hypatia-project-engraving-names-72-women-scientists-eiffel-tower. 
  21. ↑ "Eiffel Tower to honor 72 women scientists for posterity" (in en). 2026-01-26. https://www.lemonde.fr/en/france/article/2026/01/26/eiffel-tower-to-honor-72-women-in-science-for-posterity_6749828_7.html. 
  22. ↑ "Eiffel Tower to honor 72 women scientists for posterity" (in en). 2026-01-26. https://www.lemonde.fr/en/france/article/2026/01/26/eiffel-tower-to-honor-72-women-in-science-for-posterity_6749828_7.html. 
  23. ↑ "Les noms des 72 femmes pour la Tour Eiffel ont été révélés." (in fr). https://www.femmesetsciences.fr/news/les-noms-des-72-femmes-pour-la-tour-eiffel-ont-%C3%A9t%C3%A9-r%C3%A9v%C3%A9l%C3%A9. 
  24. ↑ "Radhia Cousot best young researcher paper award". https://www.di.ens.fr/~rcousot/award.html. 
  25. ↑ "Static Analysis Symposia Central Site". http://staticanalysis.org/. 
  26. ↑ Julien Bertrane, Julien; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier (2011-01-24). "Static analysis by abstract interpretation of embedded critical software" (in en). ACM SIGSOFT Software Engineering Notes 36 (1): 1–8. doi:10.1145/1921532.1921553. ISSN 0163-5948. https://dl.acm.org/doi/10.1145/1921532.1921553. 
  27. ↑ Cousot, Patrick; Cousot, Radhia (October 2011). "Grammar semantics, analysis and parsing by abstract interpretation" (in en). Theoretical Computer Science 412 (44): 6135–6192. doi:10.1016/j.tcs.2011.06.005. https://linkinghub.elsevier.com/retrieve/pii/S0304397511004919. 
  28. ↑ Cousot, Patrick; Cousot, Radhia (2012-01-18). "An abstract interpretation framework for termination" (in en). ACM SIGPLAN Notices 47 (1): 245–258. doi:10.1145/2103621.2103687. ISSN 0362-1340. https://dl.acm.org/doi/10.1145/2103621.2103687. 
  29. ↑ Logozzo, Francesco; Barnett, Michael; Fähndrich, Manuel A.; Cousot, Patrick; Cousot, Radhia (2012-10-19). "A semantic integrated development environment" (in en). ACM (ACM): 15–16. doi:10.1145/2384716.2384724. ISBN 978-1-4503-1563-0. https://dl.acm.org/doi/10.1145/2384716.2384724. 
  30. ↑ Cousot, Patrick M.; Cousot, Radhia; Logozzo, Francesco; Barnett, Michael (2012-10-19). "An abstract interpretation framework for refactoring with application to extract methods with contracts" (in en). Association for Computing Machinery. pp. 213–232. doi:10.1145/2384616.2384633. ISBN 978-1-4503-1561-6. 
  31. ↑ Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent (December 2012). "Theories, solvers and static analysis by abstract interpretation" (in en). Journal of the ACM 59 (6): 1–56. doi:10.1145/2395116.2395120. ISSN 0004-5411. https://dl.acm.org/doi/10.1145/2395116.2395120. 
  32. ↑ Tripp, Omer; Pistoia, Marco; Cousot, Patrick; Cousot, Radhia; Guarnieri, Salvatore (2013). "Andromeda: Accurate and Scalable Security Analysis of Web Applications". in Cortellessa, Vittorio; Varró, Dániel (in en). 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). "Automatic Inference of Necessary Preconditions". in Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella. 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 (January 2014). "A galois connection calculus for abstract interpretation" (in en). ACM SIGPLAN Notices (ACM) 49 (1): 3–4. doi:10.1145/2535838.2537850. ISBN 978-1-4503-2544-8. https://www.researchgate.net/publication/268015164_A_Galois_Connection_Calculus_for_Abstract_Interpretation. 
  35. ↑ Bertrane, Julien; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier (2015-12-15). "Static Analysis and Verification of Aerospace Software by Abstract Interpretation" (in en). Foundations and Trends® in Programming Languages 2 (2-3): 71–190. doi:10.1561/2500000002. ISSN 2325-1107. https://www.emerald.com/ftpgl/article/2/2-3/71/1326563/Static-Analysis-and-Verification-of-Aerospace. 
  36. ↑ "Radhia COUSOT | Ecole Normale Supérieure de Paris, Paris | ENS | Département d'Informatique | Research profile" (in en). https://www.researchgate.net/profile/Radhia-Cousot. 

Template:Women in STEM proposed to be added to the Eiffel Tower



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Radhia_Cousot&oldid=4565560"