Stephen Cook

Also known as Stephen Arthur Cook, Stephen A. Cook, S. A. Cook

American-Canadian computer scientist

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

Discography

Discogs Stream

via MusicBrainz · CC0

Listeners · Last.fm

Listeners: 73
Total plays: 135

via Last.fm · Stephen Cook

Recent publications · Crossref

5 total works indexed

Basic local alignment search tool
· 1990 · cited 80,079x
Convex Optimization
· 2004 · cited 40,517x
Swin Transformer: Hierarchical Vision Transformer using Shifted Windows
· 2021 · cited 27,780x
Adsorption of Gases in Multimolecular Layers
· 1938 · cited 24,347x
Some Tests of Specification for Panel Data: Monte Carlo Evidence and an Application to Employment Equations
· 1991 · cited 22,900x

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

Wikidata facts

Official website: www.cs.toronto.edu/~sacook
Image: Prof.Cook.jpg

Show 5 more facts

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

Sources (4)

via Wikidata · CC0

~10 min read

Article

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.