zoom_in Click to enlarge

Radhia Cousot

▲ ▼

description Radhia Cousot Overview

Radhia Cousot was a French computer scientist recognized for co-inventing the theory of abstract interpretation in 1977 alongside Patrick Cousot. Abstract interpretation is a formal theory used to approximate the runtime behavior of software without executing it, forming the foundation of modern automated static program analysis. She held significant research positions at the French National Centre for Scientific Research (CNRS), the Massachusetts Institute of Technology, and École Polytechnique. Her work remains crucial for verifying software safety and verifying program properties.

help Radhia Cousot FAQ

Who did Radhia Cousot co-found abstract interpretation with?

Radhia Cousot co-created abstract interpretation with her husband and research partner, Patrick Cousot. The two mathematicians published their foundational paper on the topic in 1977.

What is the Astree analyzer?

Astree (Analyseur statique de logiciels temps-réel embarqués) is a static analyzer developed by the Cousots. Radhia Cousot played a major role in its creation, helping mathematically prove that the Airbus A340 flight control software was free of runtime errors.

Where did Radhia Cousot conduct her research?

Radhia Cousot was a Senior Research Scientist at the French National Centre for Scientific Research (CNRS). She also spent time as a visiting professor at MIT and NYU, and worked at the École Normale Supérieure in Paris.

Did Radhia Cousot win the Turing Award?

While she did not win the Turing Award before her passing in 2014, her impact on theoretical computer science was immense. Her foundational work in abstract interpretation and static analysis tools continues to shape modern software verification.