Radhia Cousot

Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation.

Studies

Radhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the . She then went to the at Sousse, the at Algiers and then the Polytechnic School of Algiers (where she was ranked 1st and the only woman). 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 () at the Joseph Fourier University of Grenoble in 1972. She obtained her in Mathematics in Nancy in 1985 under the supervision of .

Career

Radhia Cousot was appointed Associate research scientist at the IMAG laboratory of the Joseph Fourier University of Grenoble (1975–1979) and, from 1980 on, 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), the University of Paris-Sud at Orsay (1984–1988), 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).

Scientific achievements

Together with her husband Patrick, Radhia Cousot is the originator of abstract interpretation, 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.

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 and now distributed by AbsInt GmbH, a German software company specialized 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 in 2013 and the IEEE Computer Society Harlan D. Mills award in 2014 for “the invention of ‘abstract interpretation’, development of tool support, and its practical application”.

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. The plan was announced by the Mayor of Paris, Anne Hidalgo following the recommendations of a committee led by Isabelle Vauglin of ' and Jean-François Martins, representing the operating company which runs the Eiffel Tower.