GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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