U.S. News & World Report: Stephen Cook
- #news
- #headline

Figure timeline
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, Department of Computer Science and Department of Mathematics.
Text from Wikipedia, available under CC BY-SA 4.0.
science · American-Canadian computer scientist, contributor to complexity theory · computer scientist · university teacher · mathematician · also Stephen Cook, Stephen Arthur Cook, Stephen A. Cook, S. A. Cook, Cook
Born 14 December 1939 · Q62870
20 published statements · 0 followers
See & hear
2 photos
Media from Wikimedia Commons, hotlinked at the source under its own licence — see each file for author and terms.
Live now
Pulling headlines from trusted outlets — this usually takes a few seconds
Checking the wires…
Feed scan
These are live links, not archived citations — they only join the timeline once a collect run verifies and archives them.
Live pulse
Most recent outstanding titles, awards, and quotes
U.S. News & World Report: Stephen Cook
Awarded BBVA Foundation Frontiers of Knowledge Award (2015).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Officer of the Order of Canada (2015).
Text from Wikipedia, available under CC BY-SA 4.0.
Published “A global reference for human genetic variation” in Nature — cited 17,853 times.
Awarded Order of Ontario (2013).
Text from Wikipedia, available under CC BY-SA 4.0.
Won Gerhard Herzberg Canada Gold Medal for Science and Engineering (2012).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded ACM Fellow (2008).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded John L. Synge Award (2006).
Text from Wikipedia, available under CC BY-SA 4.0.
Published “Initial sequencing and analysis of the human genome” in Nature — cited 18,637 times.
Awarded CRM-Fields-PIMS prize (1999).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Gödel Lecturer (1999).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Turing Award (1982).
Text from Wikipedia, available under CC BY-SA 4.0.
Cook received the Turing Award for his contributions to complexity theory
Text from Wikipedia, available under CC BY-SA 4.0.
A Killam Research Fellowship in 1982, and received the CRM-Fields-PIMS prize in 1999
Text from Wikipedia, available under CC BY-SA 4.0.
Introduced the equational theory PV (standing for Polynomial-time Verifiable) to formalize the notion of proofs using only polynomial-time concepts
Text from Wikipedia, available under CC BY-SA 4.0.
As an associate professor, where he was promoted to professor in 1975 and Distinguished Professor in 1985
Text from Wikipedia, available under CC BY-SA 4.0.
And the reception of his work on NP-completeness, leading up to his A
Text from Wikipedia, available under CC BY-SA 4.0.
As an assistant professor, and stayed there until 1970 when he was denied reappointment
Text from Wikipedia, available under CC BY-SA 4.0.
From the University of Michigan, and his master's degree and PhD from Harvard University, respectively in 1962 and 1966, from the Mathematics Department
Text from Wikipedia, available under CC BY-SA 4.0.
Born 1939-12-14.
Text from Wikipedia, available under CC BY-SA 4.0.
Connections