Ada Lovelace
1815 – 1852
Biographie
Chercheuse, co-inventrice de l'interprétation abstraite.
Radhia Cousot invente avec Patrick Cousot l'interprétation abstraite, une théorie qui permet de prouver automatiquement l'absence de certaines erreurs dans les programmes.
Elle sert notamment à vérifier les logiciels critiques de l'aéronautique, comme les commandes de vol des Airbus.
Réalisations clés
- 1977Interprétation abstraite, avec Patrick Cousot.
Dans la chronologie
- 1977L'interprétation abstraite
Radhia et Patrick Cousot publient l'interprétation abstraite, qui permet de prouver automatiquement l'absence de certaines erreurs dans les programmes, utilisée notamment pour les logiciels de vol des avions.
Dans le même domaine
Alan Turing
1912 – 1954
Claude Shannon
1916 – 2001
John von Neumann
1903 – 1957
Konrad Zuse
1910 – 1995
Grace Hopper
1906 – 1992