<nowiki>Radhia Cousot; Radhia Cousot; Radhia Cousot; Радия Кузо; Radhia Cousot; Radhia Cousot; Radhia Cousot; 拉德希亚·库索; Radhia Cousot; Radhia Cousot; Radhia Cousot; Radhia Cousot; Radhia Cousot; Radhia Cousot; Radhia Cousot; Radhia Cousot; 拉德西婭·庫索; Radhia Cousot; Radhia Cousot; Radhia Cousot; Radhia Cousot; Radhia Cousot; Radhia Cousot; Radhia Cousot; científica, matemàtica i informàtica francesa; informaticienne française; Inventor of abstract interpretation; автор абстрактной интерпретации; französische Informatikerin; Frans informatica (1947-2014)</nowiki>
Radhia Cousot Inventor of abstract interpretation |
| Upload media |
|
| Date of birth | 6 August 1947
Sakiet Sidi Youssef
Radhia Rezig |
|---|
| Date of death | 1 May 2014
New York City |
|---|
| Country of citizenship | |
|---|
| Residence | |
|---|
| Educated at | |
|---|
| Doctoral advisor | |
|---|
| Doctoral student | - Pietro Ferrara
- Matteo Zanioli
- Elodie-Jane Sims
- Arnaud Venet
- Stanislas Tzolovski
- Damien Massé
- Francesco Logozzo
- Charles Hymans
- Caterina Urban
|
|---|
| Occupation | |
|---|
| Employer | - Joseph Fourier University
|
|---|
| Field of work | |
|---|
| Spouse | |
|---|
| Award received | - Harlan D. Mills Award (2014)
- Programming Languages Achievement Award (2013)
|
|---|
|
 |
RadhiaCousot--Picture.jpg 855 × 1,070; 538 KB