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 In the Other Atlases
- Also in Geography Atlas: France, nationality there.
Sources
1. Wikidata: Radhia Cousot
- Wikidata Q16930398, resolved via en.wikipedia pageprops (wave rule R-L)
- Wikidata Q16930398 P569 (date of birth)
View the SourceReader 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.