6 AOÛT

Radhia COUSOT (1947-2014)  Mathématicienne – Tunisie

Informaticienne franco tunisienne, pionnière de la vérification formelle des logiciels. Elle a co-inventé la théorie de l’interprétation abstraite, pilier de l’analyse statique moderne. Ses travaux permettent de détecter automatiquement des erreurs critiques dans des codes informatiques complexes. Grâce à ses méthodes, la sécurité des systèmes de vol d’Airbus et d’Ariane a été renforcée. Elle a dirigé avec brio le département d’informatique de l’École Normale Supérieure à Paris. Mathématicienne rigoureuse, elle a transformé la fiabilité logicielle en une discipline scientifique exacte. Ses recherches ont reçu les plus hautes distinctions mondiales dans le domaine de l’ingénierie. Elle a consacré sa carrière à rendre les technologies numériques plus sûres pour l’humanité. Son héritage intellectuel continue de protéger les infrastructures critiques de notre quotidien numérique. 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.