Radhia Cousot
French computer scientist
Radhia Cousot was a French computer scientist known for inventing abstract interpretation. Wikipedia
Born: August 6, 1947, Sakiet Sidi Youssef, Tunisia
Died: May 1, 2014 (age 66 years), New York, NY
Partner: Patrick Cousot
Education: National Polytechnic Institute of Lorraine
Thesis: Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles (1985)