Radhia Cousot

Radhia Cousot
Biographie
Naissance
Voir et modifier les données sur Wikidata
Sakiet Sidi YoussefVoir et modifier les données sur Wikidata
Décès
Voir et modifier les données sur Wikidata (à 66 ans)
New YorkVoir et modifier les données sur Wikidata
Nom de naissance
Radhia RezigVoir et modifier les données sur Wikidata
Nationalité
françaiseVoir et modifier les données sur Wikidata
Domicile
New YorkVoir et modifier les données sur Wikidata
Formation
Activités
Informaticienne, ingénieureVoir et modifier les données sur Wikidata
Conjoint
Patrick CousotVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Directeur de thèse
Claude PairVoir et modifier les données sur Wikidata
Distinctions
Programming Languages Achievement Award ()
Prix Harlan D. Mills ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

Radhia Cousot grandit à Sakiet Sidi Youssef en Tunisie, où elle survit au bombardement meurtrier du 8 février 1958. 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. 

Notes et références

  1. ↑ a et b « Institut des sciences de l’information et de leurs interactions - CNRS - Disparition de Radhia Cousot », sur www.cnrs.fr (consulté le )
  2. ↑ 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
  3. ↑ 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

Liens externes

  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • IdRef
    • LCCN
    • Belgique
    • Pays-Bas
    • Israël
    • NUKAT
    • Tchéquie
    • WorldCat
  • Page personnelle sur le site de l’École normale supérieure
  • icône décorative Portail de l’informatique
  • icône décorative Portail de la France