知识
1982年的图灵奖得主是斯蒂芬·库克（Stephen A. Cook），他因在理论计算机科学领域，特别是对NP完全性理论的奠基性贡献而获得了这一荣誉。库克提出了著名的“Cook定理”，证明了逻辑 satisfiability 问题（SAT）属于 NP 完全问题，这意味着如果存在一个有效的算法能够在多项式时间内解决 SAT 问题，则可以解决所有 NP 类型的问题。这一发现对于理解计算复杂性和优化算法设计有着极其重要的意义。
史提芬·古克（Stephen A. Cook），1939年12月14日出生于美国纽约州布法罗，1982年图灵奖得主，美国国家科学院院士，美国艺术与科学院院士，加拿大皇家学会院士，英国皇家学会院士，ACM fellow，哥廷根科学院院士，加拿大多伦多大学计算机科学系名誉教授。
史提芬·古克于1961年获得美国密西根大学理学学士学位；1962年获得哈佛大学理学硕士学位；1966年获得哈佛大学博士；1966年至1970年担任加州大学伯克利分校助理教授；1970年至1975年担任多伦多大学副教授；1975年晋升为多伦多大学教授；1982年获得图灵奖；1984年当选为加拿大皇家学会院士；1985年当选为美国国家科学院院士；1986年当选为美国艺术与科学院院士；2008年当选为ACM fellow（美国计算机协会会士）。
史提芬·古克致力于计算复杂度的研究。
1939年12月14日，史提芬·古克出生于美国纽约州布法罗。
1949年，随家人搬到了美国纽约州克拉伦斯。
1961年，获得美国密西根大学理学学士学位。
1962年，获得哈佛大学理学硕士学位。
1966年，获得哈佛大学博士。
1966年—1970年，聘任加州大学伯克利分校助理教授。
1970年—1975年，聘任多伦多大学副教授。
1975年，晋升为多伦多大学教授。
1982年，获得图灵奖。
1984年，当选为加拿大皇家学会院士。
1985年，当选为美国国家科学院院士。
1986年，当选为美国艺术与科学院院士。
2008年，当选为ACM fellow（美国计算机协会会士）。
科研成就
科研综述
史提芬·古克在1971年ACM SIGACT计算理论研讨会上发表的开创性论文“The Complexity of Theorem Proving Procedures”（定理证明过程的复杂性）为np完备性理论奠定了基础，后来对np完全类问题的边界和性质的探索是过去计算机科学中活跃和重要的研究活动之一。史提芬·古克的博士论文“On the Minimum Computation time of Functions”论述了乘法固有的计算复杂性，改进了安德烈·图姆的乘法算法，后来被称为图姆-库克乘法，该算法在高精度算法中具有重要的实用意义。
学术专著
史提芬·古克与David Johnson合著了《 Computers and Intractability： A Guide to the Theory of NP-Completeness》（计算机与难解性：np完备性理论指南），其中包括了300多个已被证明是np竞争问题的摘要；与Phuong Nguyen合著了《Logical Foundations of Proof Complexity》（证明复杂性的逻辑基础）。
学术论文
据2023年9月AMiner平台数据，史提芬·古克已发表学术论文156篇，论文被引11627次，H-Index：45。
人才培养
培养成果
据2023年9月美国计算机协会官网数据，史提芬·古克已培养毕业博士生30多位。
教授课程
2017年秋季授课：可计算性与逻辑；2018年冬季授课：计算复杂性与可计算性。
文明上网，理性发言，共同做网络文明传播者