Radhia Cousot

Inventor of abstract interpretation (1947-2014) · France · On the map · Scientists · Died at 66

Radhia Cousot, née Rezig was a French computer scientist known for inventing abstract interpretation. Her 1985 doctoral thesis advanced the semantics, proof, and static analysis methods for concurrent and parallel programs.

Radhia Cousot is read about 10 times a day, in 7 languages.

A typical day, 30 days to 22 August 2026

The middle day of the days counted, so one week of news cannot move it. The line under it is the last 60 days, one point a day.

Something wrong?

Compare

People around Radhia

Family

Radhia Cousot

Partners

Spouse Patrick Cousot

Is this everyone?

Only relatives with a profile here are drawn, so a family can be larger than this. A line here can also be wrong. A marriage is drawn as ended only where its end is recorded, so a spouse drawn here may be a former one.

Correct this family

Also in Deutsch