Radhia Cousot

Radhia Cousot
Born(1947-08-06)6 August 1947
Died1 May 2014(2014-05-01) (aged 67)
CitizenshipFrench
Alma materInstitut National Polytechnique de Lorraine
Known forAbstract interpretation
SpousePatrick Cousot
AwardsACM SIGPLAN Programming Languages Achievement Award
IEEE Computer Society Harlan D. Mills Award
Scientific career
FieldsComputer science
Thesis Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles  (1985)
Doctoral advisorClaude Pair

Radhia Cousot (6 August 1947 – 1 May 2014)[1] was a French computer scientist known for inventing abstract interpretation.

  1. ^ "Institut des sciences de l'information et de leurs interactions - CNRS - Disparition de Radhia Cousot". www.cnrs.fr.

Radhia Cousot

Dodaje.pl - Ogłoszenia lokalne