"Cousot, Radhia"@en . . "Radhia Cousot (6 August 1947 \u2013 1 May 2014) was a French computer scientist known for inventing Abstract interpretation."@en . "2014-05-01Z"^^ . . . . . . . "1947Z"^^ . "Inventor of abstract interpretation" . . "Radhia Cousot"@en . "1947-08-06Z"^^ . . . "2014Z"^^ . . . .