Patrick Cousot

URI: https://gptkb.org/entity/Patrick_Cousot
GPTKB entity
Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:École_normale_supérieure_de_Cachan
gptkbp:awardReceived gptkb:IEEE_John_von_Neumann_Medal
gptkb:ACM_SIGPLAN_Programming_Languages_Achievement_Award
gptkbp:birthYear 1948
gptkbp:employer gptkb:New_York_University
gptkb:École_normale_supérieure
gptkbp:fieldOfWork formal methods
static analysis
program analysis
https://www.w3.org/2000/01/rdf-schema#label Patrick Cousot
gptkbp:knownFor abstract interpretation
gptkbp:memberOf gptkb:French_Academy_of_Sciences
gptkbp:nationality gptkb:French
gptkbp:occupation gptkb:computer_scientist
gptkbp:spouse gptkb:Radhia_Cousot
gptkbp:bfsParent gptkb:French_National_Institute_for_Research_in_Computer_Science_and_Automation_(INRIA)
gptkbp:bfsLayer 6