Radhia Cousot | |
|---|---|
 | |
| Born | 6 August 1947 |
| Died | 1 May 2014 (aged 67) |
| Citizenship | French |
| Alma mater | Institut National Polytechnique de Lorraine |
| Known for | Abstract interpretation |
| Spouse | Patrick Cousot |
| Awards | ACM SIGPLAN Programming Languages Achievement Award IEEE Computer Society Harlan D. Mills Award |
| Scientific career | |
| Fields | Computer science |
| Thesis | Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles (1985) |
| Doctoral advisor | Claude Pair |
Radhia Cousot (6 August 1947 – 1 May 2014)[1] was a French computer scientist known for inventing abstract interpretation.