Radhia Cousot

Radhia Cousot

Biographie

Naissance	6 août 1947 Sakiet Sidi Youssef
Décès	1er mai 2014 (à 66 ans) New York
Nom de naissance	Radhia Rezig
Nationalité	française
Domicile	New York
Formation	Nancy-Université École nationale polytechnique d'Alger Université Grenoble-I
Activités	Informaticienne, ingénieure
Conjoint	Patrick Cousot

Autres informations

A travaillé pour	Université Grenoble-I Université Paris-Sud École polytechnique Université Nancy-I Centre national de la recherche scientifique École normale supérieure
Directeur de thèse	Claude Pair
Distinctions	Programming Languages Achievement Award (2013) Prix Harlan D. Mills (2014) 72 noms de femmes de sciences pour la tour Eiffel

Radhia Cousot (née Radhia Rezig) née le 6 août 1947 à Sakiet Sidi Youssef en Tunisie, et morte le 1^er mai 2014 à New York^[1], est une chercheuse et professeure française en informatique, connue notamment pour l'invention du concept d'interprétation abstraite.

Franco Algérienne, Radhia Cousot grandit à Sakiet Sidi Youssef en Tunisie, où elle survit au bombardement meurtrier du 8 février 1958 par l'armée française. Elle étudie au Lycée de jeunes filles à Sousse, le Lycée français à Alger puis à l'École polytechnique d'Alger, où, seule femme, elle est classée 1^re.

Elle se spécialise dans l'optimisation mathématique et la programmation linéaire. Grâce à une bourse de l'UNESCO (1972-1975), elle poursuit ses études en France. Elle obtient un DEA d'informatique à l'université Joseph Fourier de Grenoble en 1972 puis un doctorat en mathématiques à Nancy, en 1985, sous la supervision de Claude Pair.

Radhia Cousot est chercheuse associée au laboratoire IMAG de l'université Joseph Fourier de Grenoble (1975-1979) puis à partir de 1980 au Centre national de la recherche scientifique. Elle travaille à l'université Henri Poincaré de Nancy (1980-1983), l'université de Paris-Sud à Orsay (1984-1988), à l'École polytechnique (entre 1989 et 2008) et l'École normale supérieure (2006-2014)^[1]. Avec son mari Patrick Cousot, Radhia Cousot définit l'interprétation abstraite^[2],[3], une technique de méthode formelle. À ce titre, ils reçoivent l'ACM SIGPLAN en 2013 et le prix Harlan D. Mills de l'IEEE Computer Society en 2014. 

En 2026, son nom est retenu dans la liste des 72 pionnières en sciences destinées à figurer aux côtés des scientifiques exclusivement masculins présents sur la frise d'hommage du premier étage de la Tour Eiffel^[4].

• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • IdRef
  • LCCN
  • Belgique
  • Pays-Bas
  • Israël
  • NUKAT
  • Tchéquie
• Page personnelle sur le site de l’École normale supérieure

• Portail de l’informatique
• Portail de la France