Patrick Cousot

URI: https://gptkb.org/entity/Patrick_Cousot

GPTKB entity

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
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
https://www.w3.org/2000/01/rdf-schema#label	Patrick Cousot