Radhia Cousot

Radhia Cousot
Born(1947-08-06)6 August 1947
Sakiet Sidi Youssef, Tunisia
Died1 May 2014(2014-05-01) (aged 67)
New York City
CitizenshipFrench
Alma materInstitut National Polytechnique de Lorraine
Known forAbstract interpretation
SpousePatrick Cousot
AwardsACM SIGPLAN Programming Languages Achievement Award
IEEE Computer Society Harlan D. Mills Award
Scientific career
FieldsComputer science
Thesis Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles  (1985)
Doctoral advisorClaude Pair

Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.