Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Stephen_Cook> ?p ?o. }
- Stephen_Cook abstract "Stephen Arthur Cook, OOnt (born December 14, 1939) is a renowned American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity including co-discovering the theory of NP-completeness with Allan Borodin and Leonid Levin. He is currently a University Professor at the University of Toronto, Department of Computer Science and Department of Mathematics.".
- Stephen_Cook almaMater Harvard_University.
- Stephen_Cook almaMater University_of_Michigan.
- Stephen_Cook award CRM-Fields-PIMS_prize.
- Stephen_Cook award Gerhard_Herzberg_Canada_Gold_Medal_for_Science_and_Engineering.
- Stephen_Cook award John_L._Synge_Award.
- Stephen_Cook award Turing_Award.
- Stephen_Cook award Bernard_Bolzano_Medal.
- Stephen_Cook birthDate "1939-12-14".
- Stephen_Cook birthPlace Buffalo,_New_York.
- Stephen_Cook birthPlace New_York.
- Stephen_Cook birthYear "1939".
- Stephen_Cook doctoralAdvisor Hao_Wang_(academic).
- Stephen_Cook doctoralStudent Mark_Braverman.
- Stephen_Cook doctoralStudent Paul_Beame.
- Stephen_Cook doctoralStudent Robert_A._Reckhow.
- Stephen_Cook doctoralStudent Toniann_Pitassi.
- Stephen_Cook doctoralStudent Valentine_Kabanets.
- Stephen_Cook doctoralStudent Walter_Savitch.
- Stephen_Cook field Computer_science.
- Stephen_Cook knownFor Cook%E2%80%93Levin_theorem.
- Stephen_Cook knownFor NP-complete.
- Stephen_Cook knownFor Proof_complexity.
- Stephen_Cook lccnId "nr/2003/30022".
- Stephen_Cook thumbnail Prof.Cook.jpg?width=300.
- Stephen_Cook viafId "38354675".
- Stephen_Cook wikiPageExternalLink Viewer320BR.aspx?mode=Default&peid=8a2b3e20-47d6-462b-9f89-eb6b9fa5b0cd&pid=06ac6222-11c0-4056-9157-2def8fb69cd8&playerType=WM64Lite.
- Stephen_Cook wikiPageExternalLink 107226.
- Stephen_Cook wikiPageExternalLink ~sacook.
- Stephen_Cook wikiPageExternalLink www.cs.utoronto.ca.
- Stephen_Cook wikiPageExternalLink www.falsifian.org.
- Stephen_Cook wikiPageExternalLink Cook:Stephen_A=.html.
- Stephen_Cook wikiPageExternalLink dirfac.html.
- Stephen_Cook wikiPageID "39432".
- Stephen_Cook wikiPageRevisionID "606212103".
- Stephen_Cook almaMater Harvard_University.
- Stephen_Cook almaMater University_of_Michigan.
- Stephen_Cook birthDate "1939-12-14".
- Stephen_Cook birthPlace Buffalo,_New_York.
- Stephen_Cook birthPlace New_York.
- Stephen_Cook dateOfBirth "1939-12-14".
- Stephen_Cook doctoralAdvisor Hao_Wang_(academic).
- Stephen_Cook doctoralStudents Paul_Beame.
- Stephen_Cook doctoralStudents Valentine_Kabanets.
- Stephen_Cook doctoralStudents "Mark Braverman".
- Stephen_Cook doctoralStudents "Robert A. Reckhow".
- Stephen_Cook doctoralStudents "Toniann Pitassi".
- Stephen_Cook doctoralStudents "Walter Savitch".
- Stephen_Cook field Computer_science.
- Stephen_Cook hasPhotoCollection Stephen_Cook.
- Stephen_Cook imageSize "200".
- Stephen_Cook knownFor "Cook-Levin theorem".
- Stephen_Cook knownFor "NP-completeness".
- Stephen_Cook knownFor "Propositional proof complexity".
- Stephen_Cook lccn "nr/2003/30022".
- Stephen_Cook name "Cook, Stephen Arthur".
- Stephen_Cook name "Stephen Arthur Cook".
- Stephen_Cook placeOfBirth Buffalo,_New_York.
- Stephen_Cook placeOfBirth New_York.
- Stephen_Cook prizes Gerhard_Herzberg_Canada_Gold_Medal_for_Science_and_Engineering.
- Stephen_Cook prizes John_L._Synge_Award.
- Stephen_Cook prizes Turing_Award.
- Stephen_Cook prizes "CRM-Fields-PIMS prize".
- Stephen_Cook prizes Bernard_Bolzano_Medal.
- Stephen_Cook shortDescription Computer_science.
- Stephen_Cook viaf "38354675".
- Stephen_Cook wordnet_type synset-scientist-noun-1.
- Stephen_Cook workInstitution University_of_California,_Berkeley.
- Stephen_Cook workInstitution University_of_Toronto.
- Stephen_Cook description "Computer scientist".
- Stephen_Cook description "Computer scientist".
- Stephen_Cook subject Category:1939_births.
- Stephen_Cook subject Category:American_computer_scientists.
- Stephen_Cook subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Stephen_Cook subject Category:Fellows_of_the_Royal_Society.
- Stephen_Cook subject Category:Fellows_of_the_Royal_Society_of_Canada.
- Stephen_Cook subject Category:Harvard_University_alumni.
- Stephen_Cook subject Category:Living_people.
- Stephen_Cook subject Category:Members_of_the_Order_of_Ontario.
- Stephen_Cook subject Category:Members_of_the_United_States_National_Academy_of_Sciences.
- Stephen_Cook subject Category:Turing_Award_laureates.
- Stephen_Cook subject Category:University_of_California,_Berkeley_faculty.
- Stephen_Cook subject Category:University_of_Michigan_alumni.
- Stephen_Cook subject Category:University_of_Toronto_faculty.
- Stephen_Cook type Acquirer109764201.
- Stephen_Cook type Alumnus109786338.
- Stephen_Cook type AmericanComputerScientists.
- Stephen_Cook type Associate109816771.
- Stephen_Cook type CausalAgent100007347.
- Stephen_Cook type Colleague109935990.
- Stephen_Cook type ComputerScientist109951070.
- Stephen_Cook type ComputerUser109951274.
- Stephen_Cook type FellowsOfTheAssociationForComputingMachinery.
- Stephen_Cook type FellowsOfTheRoyalSociety.
- Stephen_Cook type FellowsOfTheRoyalSocietyOfCanada.
- Stephen_Cook type HarvardUniversityAlumni.
- Stephen_Cook type Honoree110183757.
- Stephen_Cook type Intellectual109621545.
- Stephen_Cook type Laureate110249011.
- Stephen_Cook type LivingPeople.
