Radhia Cousot
Radhia Cousot (born August 6, 1947 in Sakiet Sidi Youssef in Tunisia , † May 1, 2014 in New York City ) was a French computer scientist .
As a schoolgirl, she survived the bombing of her home town on February 8, 1958 by the French army; around 75 residents were killed and around 150 injured. She attended the Lyceum for Girls in Sousse , the French Gymnasium in Algiers and the Polytechnic School in Algiers, which she graduated as the best in her class (and only woman). Her specialty was mathematical optimization and integer linear programming. In 1972 she received her diploma (DEA) in computer science from the University of Grenoble and received her PhD in mathematics from the University of Nancy with Claude Pair in 1985 (dissertation: Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles ). She then carried out research at the IMAG laboratory at the University of Grenoble, where she had a UNESCO grant, and from 1980 for the CNRS at the computer laboratories of the University of Nancy, from 1984 at the University of Paris-South in Orsay and from 1989 to 2008 at the École Polytechnique . From 1991, she headed the Semantics, Proof and Abstract Interpretation research group. She also taught at the École normal supérieure (ENS) from 2006 to 2014 .
She was visiting scholar at IBM Research (2006 and 2007) and Microsoft Research in Redmond (2009, 2010, 2011, 2012).
Around 1975 she and her husband Patrick Cousot developed the method of abstract interpretation in program analysis . In her dissertation, she expanded the method to include parallel programs.
From 1999 she developed a troubleshooting program for embedded systems Astrée at ENS with Patrick Cousot for Airbus , which was later sold by AbsInt in Saarbrücken (a spin-off from the university there under Professor Reinhard Wilhelm ).
In 2013 she and her husband received the Harlan D. Mills Award from the IEEE Computer Society and in the same year they received the Programming Languages Achievement Award from ACM SIGPLAN .
She died of gastrointestinal cancer in 2014. In 2015 she was commemorated in Mumbai at the ACM-SIGPLAN conference POPL, where she and her husband had published many works over the years.
Web links
Individual evidence
- ↑ https://www.youtube.com/watch?v=WH-W_uBEI28 https://www.youtube.com/watch?v=zA91fKdibCk https://www.youtube.com/watch?v=Q6iopoGsR8c
| personal data | |
|---|---|
| SURNAME | Cousot, Radhia |
| BRIEF DESCRIPTION | French computer scientist |
| DATE OF BIRTH | August 6, 1947 |
| PLACE OF BIRTH | Sakiet Sidi Youssef |
| DATE OF DEATH | May 1, 2014 |
| Place of death | New York City |