Radhia Cousot

Radhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the massacre of the children in her school on February 8, 1958.

Supported by a UNESCO fellowship (1972–1975), she obtained a master's degree in Computer Science (Diplôme d'études approfondies (DEA)) at the Joseph Fourier University of Grenoble in 1972.

Together with her husband Patrick, Radhia Cousot is the originator of abstract interpretation,[2][3] an influential technique in formal methods.

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

[4] 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[5] and now distributed by AbsInt GmbH,[6] a German software company specialized on static analysis.