Awards & Winners

Stephen Cook

Date of Birth 14-December-1939
Place of Birth Buffalo
(United States of America, New York, Erie County, Area code 716)
Nationality United States of America
Also know as Stephen Arthur Cook
Profession Computer Scientist
Stephen Arthur Cook, OOnt is a renowned American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity. He is currently a University Professor at the University of Toronto, Department of Computer Science and Department of Mathematics.

Awards by Stephen Cook

Check all the awards nominated and won by Stephen Cook.

1982


Turing Award
(For his advancement of our understanding of the complexity of computation in a significant and profound way. His seminal paper, The Complexity of Theorem Proving Procedures, presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, laid the foundations for the theory of NP-Completeness. The ensuing exploration of the boundaries and nature of NP-complete class of problems has been one of the most active and important research activities in computer science for the last decade.)