gptkbp:instanceOf
|
gptkb:person
|
gptkbp:almaMater
|
gptkb:Harvard_University
gptkb:University_of_Michigan
|
gptkbp:awardReceived
|
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:Michael_Sipser
gptkb:David_S._Johnson
gptkb:Juris_Hartmanis
gptkb:Leonid_Levin
gptkb:Richard_E._Ladner
gptkb:Russell_Impagliazzo
|
gptkbp:employer
|
gptkb:University_of_Toronto
|
gptkbp:fieldOfWork
|
gptkb:logic
theoretical computer science
|
https://www.w3.org/2000/01/rdf-schema#label
|
Stephen Cook
|
gptkbp:knownFor
|
gptkb:complexity_theory
gptkb:Cook–Levin_theorem
gptkb:P_versus_NP_problem
|
gptkbp:nationality
|
gptkb:American
gptkb:Canadian
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:mathematician
|
gptkbp:spouse
|
gptkb:Vera_Pless
|
gptkbp:bfsParent
|
gptkb:Association_for_Computing_Machinery
gptkb:complexity_theory
|
gptkbp:bfsLayer
|
4
|