|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Duke_University
gptkb:University_of_Virginia
|
|
gptkbp:awardReceived
|
gptkb:ACM_Fellow
gptkb:IEEE_Fellow
Turing Award
|
|
gptkbp:birthDate
|
1945-07-27
|
|
gptkbp:birthPlace
|
gptkb:Newport_News,_Virginia,_USA
|
|
gptkbp:causeOfDeath
|
gptkb:COVID-19
|
|
gptkbp:deathDate
|
2020-12-22
|
|
gptkbp:doctoralAdvisor
|
gptkb:Donald_W._Loveland
|
|
gptkbp:employer
|
gptkb:Carnegie_Mellon_University
|
|
gptkbp:fieldOfWork
|
computer science
formal methods
model checking
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Edmund M. Clarke
|
|
gptkbp:knownFor
|
formal verification
model checking
|
|
gptkbp:memberOf
|
gptkb:Association_for_Computing_Machinery
gptkb:IEEE
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:notableStudent
|
gptkb:E._Allen_Emerson
gptkb:Kenneth_McMillan
gptkb:Somesh_Jha
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:spouse
|
gptkb:Martha_Clarke
|
|
gptkbp:thesisTitle
|
gptkb:Satisfiability_in_Quasi-Axiomless_Sentential_Calculi
|
|
gptkbp:thesisYear
|
1976
|
|
gptkbp:Turing_Award_sharedWith
|
gptkb:E._Allen_Emerson
gptkb:Joseph_Sifakis
|
|
gptkbp:TuringAwardYear
|
2007
|
|
gptkbp:bfsParent
|
gptkb:Dana_Scott
|
|
gptkbp:bfsLayer
|
5
|