Radhia Cousot,法国计算机科学家和学者

Radhia Cousot(1947 年 8 月 6 日 - 2014 年 5 月 1 日)是一位法国计算机科学家,以发明抽象解释而闻名。