Stephen Arthur Cook, Template:Post-nominals (born December 14, 1939) is a renowned American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity including co-discovering the theory of NP-completeness with Allan Borodin and Leonid Levin. He is currently a University Professor at the University of Toronto, Department of Computer Science and Department of Mathematics.