Question: What is the date of death of Patrick Cousot's wife?
Sentence (from "Patrick Cousot"): Together with his wife Radhia Cousot (1947–2014), Patrick Cousot is the originator of abstract interpretation, an influential technique in formal methods.
Relevant evidence: Yes