Stephen Arthur Cook is an American Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity. He is a university professor emeritus at the University of Toronto, in the Department of Computer Science and the Department of Mathematics.
Facts
Field
Field (category) Field (category) Connections
Member Of
Source Stephen Cook, Wikipedia
Source Stephen Cook, Wikipedia
Proposed
Source Cook-Levin theorem (Wikipedia)
Works In
Source Stephen Cook, Wikipedia
Source Stephen Cook, Wikipedia
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Stephen Cook (Wikidata)
Also in Geography Atlas: the nationality of this subject.
Source Stephen Cook (Wikidata)
Sources
1. Stephen Cook (Wikidata)
P27 (country of citizenship): United States
Q30
P19 (place of birth): Buffalo, United States
Q40435
P27 (country of citizenship): Canada
Q16
View the Source2. Stephen Cook, Wikipedia
Lead, first sentence
Stephen Arthur Cook (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity.
Lead paragraph
He won the 1982 ACM Turing Award.
Lead section, pronoun use
He is a university professor emeritus at the University of Toronto, Department of Computer Science and Department of Mathematics.
Works In: Mathematics, Lead sentence
Stephen Arthur Cook (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity.
Works In: Computer Science, Lead sentence
Stephen Arthur Cook (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity.
Member Of: National Academy of Sciences, Article text
Cook was elected to membership in the National Academy of Sciences (United States) and the American Academ
Member Of: Association for Computing Machinery, Categories
Category:Fellows of the Association for Computing Machinery
View the SourceCook-Levin theorem (Wikipedia)
Proposed: Cook-Levin Theorem, Lead paragraphQuote, Proposed: Cook-Levin Theorem, Lead paragraph
The theorem is named after Stephen Cook and Leonid Levin.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.