Radhia Cousot, born Radhia Rezig (August 6, 1947 to May 1, 2014), was a French computer scientist known for inventing abstract interpretation, a theory of program semantics used for static program analysis, together with her husband and frequent collaborator Patrick Cousot. She earned her doctorate from the Institut National Polytechnique de Lorraine in 1985, with a thesis on proof methods for the invariance and liveness of parallel programs. She received the ACM SIGPLAN Programming Languages Achievement Award and the IEEE Computer Society Harlan D. Mills Award.
Facts
AwardProgramming Languages Achievement Award 1 Connections
In Field
Source Radhia Cousot (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikidata: Radhia Cousot
- Wikidata Q16930398, resolved via en.wikipedia pageprops (wave rule R-L)
- Wikidata Q16930398 P569 (date of birth)
View the SourceRadhia Cousot (Wikipedia)
In Field: Formal Methods, LeadQuote, In Field: Formal Methods, Lead
Radhia Cousot, née Rezig (6 August 1947-1 May 2014) was a French computer scientist known for inventing abstract interpretation.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.