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 male computer scientist, university teacher, and mathematician born in Buffalo in 1939. He holds citizenship in the United States and Canada and speaks English. Cook earned a Doctor of Sciences degree and was educated at Harvard University and the University of Michigan. His doctoral advisor was Hao Wang, and he has supervised doctoral students including Toniann Pitassi, Mark Braverman, and Walter Savitch.
He has worked at the University of Toronto and the University of California, Berkeley. 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. His awards include the Turing Award, the CRM-Fields-PIMS prize, the Order of Ontario, and the title of Fellow of the Royal Society. He has an Erdős number of 3.
Synthesized by Vinony from 26 facts across 3 sources: Wikidata, Open Library, Vinony collections. 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.