|
gptkbp:instanceOf
|
gptkb:computer_scientist
|
|
gptkbp:almaMater
|
gptkb:Harvard_University
gptkb:University_of_Michigan
|
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_Association_for_Computing_Machinery
gptkb:Fellow_of_the_Royal_Society
gptkb:CRM-Fields-PIMS_Prize
gptkb:Gerhard_Herzberg_Canada_Gold_Medal_for_Science_and_Engineering
gptkb:John_L._Synge_Award
Turing Award
Fellow of the Royal Society of Canada
|
|
gptkbp:birthDate
|
1939-12-14
|
|
gptkbp:birthPlace
|
gptkb:Buffalo,_New_York,_USA
|
|
gptkbp:citizenship
|
gptkb:Canada
gptkb:United_States
|
|
gptkbp:doctoralAdvisor
|
gptkb:Hao_Wang
|
|
gptkbp:doctoralStudent
|
gptkb:David_S._Johnson
gptkb:Juris_Hartmanis
gptkb:Richard_E._Ladner
|
|
gptkbp:employer
|
gptkb:University_of_Toronto
|
|
gptkbp:field
|
gptkb:mathematics
computer science
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Stephen A. Cook
|
|
gptkbp:influenced
|
gptkb:complexity_theory
computational complexity
P vs NP research
|
|
gptkbp:knownFor
|
gptkb:complexity_theory
gptkb:Cook–Levin_theorem
gptkb:P_versus_NP_problem
|
|
gptkbp:memberOf
|
gptkb:Association_for_Computing_Machinery
gptkb:Royal_Society
gptkb:Royal_Society_of_Canada
|
|
gptkbp:nationality
|
gptkb:American
gptkb:Canadian
|
|
gptkbp:publishedIn
|
gptkb:The_Complexity_of_Theorem-Proving_Procedures
|
|
gptkbp:residence
|
gptkb:Toronto,_Canada
|
|
gptkbp:spouse
|
gptkb:Brenda_Baker
|
|
gptkbp:TuringAwardYear
|
1982
|
|
gptkbp:bfsParent
|
gptkb:Carl_A._Gunter
gptkb:Generalized_QBF
|
|
gptkbp:bfsLayer
|
6
|