Skip to content
Stephen Cook

Image by Leonhard_Niederwimmer on Pixabay · Pixabay License

EntityQ62870· pop 37· linked from 261 articles

Stephen Cook

Sign in to save

Also 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

Music · MusicBrainz

Type
Person
Gender
Male
Origin
United States
Active from
1931-01-22
Active to
1964-12-11
black gospelclassic soulearly r&bgospelpop soulr&b

via MusicBrainz · CC0

Listeners · Last.fm

Listeners
73
Total plays
135

<a href="https://www.last.fm/music/Stephen+Cook">Read more on Last.fm</a>

via Last.fm · Stephen Cook

Recent publications · Crossref

5 total works indexed

  1. Basic local alignment search tool

    · 1990 · cited 80,825x

  2. Convex Optimization

    · 2004 · cited 41,091x

  3. Swin Transformer: Hierarchical Vision Transformer using Shifted Windows

    · 2021 · cited 29,335x

  4. Adsorption of Gases in Multimolecular Layers

    · 1938 · cited 24,546x

  5. Some Tests of Specification for Panel Data: Monte Carlo Evidence and an Application to Employment Equations

    · 1991 · cited 23,129x

via Crossref · CC0

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

~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.