Radhia Cousot
| Radhia Cousot | |
|---|---|
 |
|
| Born |
6 August 1947 Sakiet Sidi Youssef, Tunisia |
| Died | 1 May 2014 (aged 67) New York City |
| Residence | New York City |
| Nationality | French |
| Fields | Computer science |
| Alma mater | Institut National Polytechnique de Lorraine |
| Thesis | Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles (1985) |
| Doctoral advisor | Claude Pair |
| Known for | Abstract interpretation |
| Notable awards |
ACM SIGPLAN Programming Languages Achievement Award |
ACM SIGPLAN Programming Languages Achievement Award
Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing Abstract interpretation.
Radhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the . She then went to the at Sousse, the at Algiers and then the Polytechnic School of Algiers (where she was ranked 1st and the only woman). She specialized in mathematical optimization and integer linear programming. Supported by a UNESCO fellowship (1972–1975), she obtained a master's degree in Computer Science () at the Joseph Fourier University of Grenoble in 1972. She obtained her in Mathematics in Nancy in 1985 under the supervision of Claude Pair.
Radhia Cousot was appointed Associate research scientist at the IMAG laboratory of the Joseph Fourier University of Grenoble (1975–1979) and, from 1980 on, at the Centre national de la recherche scientifique, as junior research scientist, research scientist, senior research scientist, and senior research scientist emerita at the Computer Science laboratories of the Henri Poincaré University of Nancy (1980–1983), the University of Paris-Sud at Orsay (1984–1988), the École Polytechnique (1989–2008) where from 1991 she headed the research team “Semantics, Proof and Abstract interpretation”, and the École Normale Supérieure (2006–2014).
...
Wikipedia