Radhia Cousot
| Naissance | |
|---|---|
| Décès | |
| Nom de naissance |
Radhia Rezig |
| Nationalité | |
| Domicile | |
| Formation | |
| Activités | |
| Conjoint |
| A travaillé pour | |
|---|---|
| Directeur de thèse | |
| Distinctions |
Radhia Cousot (née Radhia Rezig) née le à Sakiet Sidi Youssef en Tunisie, et morte le à New York[1], est une chercheuse et professeure française en informatique, connue notamment pour l'invention du concept d'interprétation abstraite.
Biographie
[modifier | modifier le code]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 1re.
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.
Hommage
[modifier | modifier le code]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].
Notes et références
[modifier | modifier le code]- 1 2 « Institut des sciences de l’information et de leurs interactions - CNRS - Disparition de Radhia Cousot », sur www.cnrs.fr (consulté le )
- ↑ Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, Pages 238-252, ACM New York, NY, États-Unis
- ↑ Systematic design of program analysis frameworks, POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, Pages 269-282, ACM New York, NY, États-Unis
- ↑ « La tour Eiffel va honorer pour la postérité 72 femmes de science », Le Monde, (lire en ligne, consulté le )
Liens externes
[modifier | modifier le code]- Ressources relatives à la recherche :
- Page personnelle sur le site de l’École normale supérieure
