This HTML5 document contains 27 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n12http://commons.wikimedia.org/wiki/Special:FilePath/Prof.Cook.jpg?width=
n7http://dbpedia.org/resource/Robert_A.
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6http://dbpedia.org/resource/John_L.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://dbpedia.org/resource/Hao_Wang_(academic)
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://commons.wikimedia.org/wiki/Special:FilePath/Prof.Cook.
dbpediahttp://dbpedia.org/resource/
n10http://dbpedia.org/resource/Buffalo,
Subject Item
dbpedia:Stephen_Cook
rdfs:comment
Stephen Arthur Cook, OC 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. He is currently a university professor at the University of Toronto, Department of Computer Science and Department of Mathematics.
foaf:name
Cook, Stephen Arthur Stephen Arthur Cook
foaf:depiction
n9:jpg
dc:description
Computer scientist
dbpedia-owl:almaMater
dbpedia:University_of_Michigan dbpedia:Harvard_University
dbpedia-owl:award
dbpedia:Bernard_Bolzano_Medal n6:_Synge_Award dbpedia:Turing_Award dbpedia:Gerhard_Herzberg_Canada_Gold_Medal_for_Science_and_Engineering dbpedia:CRM-Fields-PIMS_prize
dbpedia-owl:birthDate
1939-12-14Z
dbpedia-owl:birthPlace
dbpedia:New_York n10:_New_York
dbpedia-owl:birthYear
1939-01-01Z
dbpedia-owl:doctoralAdvisor
n11:
dbpedia-owl:doctoralStudent
n7:_Reckhow dbpedia:Valentine_Kabanets dbpedia:Paul_Beame dbpedia:Toniann_Pitassi dbpedia:Walter_Savitch
dbpedia-owl:field
dbpedia:Computer_science
dbpedia-owl:knownFor
dbpedia:NP-completeness dbpedia:Proof_complexity dbpedia:Cook–Levin_theorem
dbpedia-owl:thumbnail
n12:300