Mathematician:Stephen Arthur Cook

Mathematician
American mathematician and computer scientist who has made considerable progress in the field of complexity theory.

Nationality
American

History

 * Born: 14 Dec 1939, Buffalo, New York, USA
 * 1961: Bachelor's degree from
 * 1962: Master's degree from
 * 1966: Ph.D. from
 * 1966 - 1970: Assistant Professor at
 * 1970: Denied reappointment at, joined as Associate Professor in the Computer Science and Mathematics departments
 * 1975: Promoted to Professor
 * 1977: Awarded a Steacie Fellowship
 * 1982: Received the
 * 1982: Awarded a Killam Research Fellowship
 * 1985: Promoted to University Professor
 * 1999: Received the CRM-Fields-PIMS prize

Theorems and Definitions

 * Cook-Levin Theorem (independently of )
 * Cook Reduction

Publications

 * 1971: The Complexity of Theorem Proving Procedures (in which P versus NP was first formulated)
 * 1975: Feasibly Constructive Proofs and the Propositional Calculus
 * 1979: The Relative Efficiency of Propositional Proof Systems (with )


 * Logical Foundations of Proof Complexity (with )