About Radhia Cousot
Radhia Cousot was a French computer scientist known for inventing abstract interpretation. Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation. Together with her husband Patrick, Radhia Cousot is the originator of abstract interpretation, an influential technique in formal methods. In her thesis, Radhia Cousot advanced the semantics, proof, and static analysis methods for concurrent and parallel programs.
Biography source: Wikipedia. The profile adds birthday-specific historical context from the Celebs Birthday Today editorial database.