Radhia Cousot

French computer scientist (1947–2014)

Died
2014
Radhia Cousot, née Rezig 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.

Read more on Wikipedia ?

Events associated with Radhia Cousot