Image by Leonhard_Niederwimmer on Pixabay · Pixabay License
Stephen Cook
Sign in to saveAlso known as Stephen Arthur Cook, Stephen A. Cook, S. A. Cook
American-Canadian computer scientist
OverviewAI-generated
Stephen Arthur Cook is a computer scientist, mathematician, and university teacher. Born in Buffalo in 1939, he holds citizenship in the United States and Canada. He was educated at the University of Michigan and Harvard University, where he earned a Doctor of Sciences degree under the supervision of Hao Wang. His academic career includes positions at the University of California, Berkeley, and the University of Toronto.
Cook is a member of the Royal Society, the National Academy of Sciences, the Royal Society of Canada, and the American Academy of Arts and Sciences. He has received the Turing Award, the CRM-Fields-PIMS prize, the Order of Ontario, and the title of Fellow of the Royal Society. His doctoral students include Toniann Pitassi, Mark Braverman, and Walter Savitch.
Synthesized by Vinony from 38 facts across 7 sources: Wikidata, Open Library, MusicBrainz, Crossref, Last.fm, Vinony collections, Vinony graph. Generated from structured data (not the Wikipedia text) and checked against those facts — may still contain errors.
Person · Open Library
- Works
- 37
Top works
- Obdii Diagnostics Made Easy
- SOMETHING's COMING! Universal Cities of Love, Light and Healing!
- Traveller
- 50 Best and Worst Modern Movies
- Day I Crashed the Tour
via Open Library + Wikidata
Key facts
- Born
- Stephen Arthur Cook , ( 1939-12-14 ) December 14, 1939 (age 86) , Buffalo , New York
- Education
- University of Michigan ( BA ), Harvard University ( MA , PhD )
- Known for
- NP-completeness , Propositional proof complexity , Cook–Levin theorem
- Awards
- Turing Award (1982) Gödel Lecture (1999) CRM-Fields-PIMS prize (1999) John L. Synge Award (2006) Bernard Bolzano Medal (2008) Gerhard Herzberg Canada Gold Medal for Science and Engineering (2012) Officer of Order of Canada (2015) BBVA Foundation Frontiers of Knowledge Award (2015)
- Fields
- Computer Science
- Institutions
- University of Toronto , University of California, Berkeley
- Thesis
- On the Minimum Computation Time of Functions (1966)
- Doctoral advisor
- Hao Wang
- Doctoral students
- Mark Braverman , Toniann Pitassi , Walter Savitch , Arvind Gupta , Anna Lubiw
via Wikipedia infobox
Wikidata facts
- Instance of
- human
- Given name
- Arthur
- Family name
- Cook
- Gender
- male
- Citizenship
- Canada
- Place of birth
- Buffalo
- Occupation
- mathematician
- Educated at
- University of Michigan
- Languages spoken
- English language
- Award
- John L. Synge Award
- Academic degree
- Doctor of Sciences
- Doctoral advisor
- Hao Wang
- Field of work
- computer science
- Official website
- www.cs.toronto.edu/~sacook
- Image
- Prof.Cook.jpg
Show 7 more facts
- member of
- Association for Computing Machinery
- Commons category
- Stephen Cook
- date of birth
- 1939-12-14
- Erdős number
- 3
- birth name
- Stephen Arthur Cook
- name in native language
- Stephen Cook
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0
~10 min read
Encyclopedic overview
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. He is a university professor emeritus at the University of Toronto, Department of Computer Science and Department of Mathematics.
Cook is considered one of the forefathers of computational complexity theory. He won the 1982 ACM Turing Award.
Excerpted from Wikipedia’s “Stephen Cook” article, available under the CC BY-SA 4.0 licence.