Radhia Cousot
Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation.
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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.