doctoral_advisor thesis_year death_date death_place birth_place thesis_title nationality field birth_date known_for residence image article_title name alma_mater
claude pair 1985 1 may 2014 new york city sakiet sidi youssef , tunisia fondements de programmes parallèles des méthodes de preuve d'invariance et de fatalité french computer science 6 august 1947 abstract interpretation new york city radhiacousot -- picture.jpg radhia cousot
 radhia cousot institut national polytechnique de lorraine
radhia cousot

radhia cousot -lrb- 6 august 1947 -- 1 may 2014 -rrb- was a french computer scientist known for inventing abstract interpretation .
