更新时间:2023-10-07 15:31
史提芬·古克(Stephen A. Cook),1939年12月14日出生于美国纽约州布法罗,1982年图灵奖得主,美国国家科学院院士,美国艺术与科学院院士,加拿大皇家学会院士,英国皇家学会院士,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。
[1]Stephen Bellantoni,Stephen Cook.A new recursion-theoretic characterization of the polytime functions[J].Reviews of Physiology Biochemistry and Pharmacology,1992.
[2]Stephen Bellantoni,Stephen A. Cook.A new recursion-theoretic characterization of the polytime functions (extended abstract)[J].Compiler Construction (CC),1992.
[3]Stephen A. Cook.A taxonomy of problems with fast parallel algorithms[J].Information and Computation,1985.
[4]Stephen A. Cook,Robert A. Reckhow.The Relative Efficiency of Propositional Proof Systems[J].Journal of Symbolic Logic,1979.
[5]Stephen A. Cook.Soundness And Completeness Of An Axiom System For Program Verification[J].SIAM Journal on Computing,1978.
据2023年9月美国计算机协会官网数据,史提芬·古克已培养毕业博士生30多位。
2017年秋季授课:可计算性与逻辑;2018年冬季授课:计算复杂性与可计算性。
史提芬·古克的父亲是联合碳化物公司子公司的化学家,同时也是纽约州立大学布法罗分校的兼职教授,母亲是一名家庭主妇,偶尔也在伊利社区学院教英语。
史提芬·古克十几岁的时候对电子学产生了兴趣。史提芬·古克对航海有狂热的兴趣,是加拿大皇家游艇俱乐部的长期成员。
史提芬·古克和妻子琳达住在多伦多,有两个儿子。
他(史提芬·古克)以一种重要而深刻的方式推进了我们对计算复杂性的理解(For his advancement of our understanding of the complexity of computation in a significant and profound way)。(1982年图灵奖评)
他(史提芬·古克)的工作在复杂计算至关重要的所有领域都产生了巨大的影响( His work,has had a dramatic impact in all fields where complex computations are crucial)。(美通社评)
史提芬·古克是为数不多的数学研究者之一,他的思想为当代和后代催生了新的研究领域。除了在复杂性理论方面的著名贡献外,库克还在计算理论、算法设计、编程语言和数学逻辑方面做出了根本性的贡献(Stephen Cook is among a short list of mathematics researchers whose ideas have spawned new fields of inquiry for current and future generations.In addition to celebrated contributions to complexity theory, Cook has made fundamental contributions to computational theory, algorithm design, programming languages and mathematical logic)。(多伦多大学评)
菲尔兹数学科学研究所于2000年4月28日至29日举办了有关史提芬·古克的研讨会。