Radhia Cousot
Radhia Cousot was born on August 6, 1947. See ranking, bio blurb, and everyone else born that day.
About Radhia Cousot
Radhia Cousot, née Rezig (6 August 1947 – 1 May 2014) 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.