史提芬·古克

1939年12月14日，史提芬·古克出生於美國紐約州布法羅。

1949年，隨家人搬到了美國紐約州克拉倫斯。

1961年，獲得美國密西根大學理學學士學位。

1962年，獲得哈佛大學理學碩士學位。 ^[4] 

1966年，獲得哈佛大學博士。

1966年—1970年，聘任加州大學伯克利分校助理教授。

1970年—1975年，聘任多倫多大學副教授。

1975年，晉升為多倫多大學教授。 ^[4] 

1982年，獲得圖靈獎。

1984年，當選為加拿大皇家學會院士。 ^[3] 

1985年，當選為美國國家科學院院士。 ^[1] 

1986年，當選為美國藝術與科學院院士。 ^[2] 

2008年，當選為ACM fellow（美國計算機協會會士）。 ^[11] 

史提芬·古克在1971年ACM SIGACT計算理論研討會上發表的開創性論文“The Complexity of Theorem Proving Procedures”（定理證明過程的複雜性）為np完備性理論奠定了基礎，後來對np完全類問題的邊界和性質的探索是過去計算機科學中活躍和重要的研究活動之一。史提芬·古克的博士論文“On the Minimum Computation time of Functions”論述了乘法固有的計算複雜性，改進了安德烈·圖姆的乘法算法，後來被稱為圖姆-庫克乘法，該算法在高精度算法中具有重要的實用意義。 ^{[4]  [8]} 

史提芬·古克與David Johnson合著了《 Computers and Intractability： A Guide to the Theory of NP-Completeness》（計算機與難解性：np完備性理論指南），其中包括了300多個已被證明是np競爭問題的摘要；與Phuong Nguyen合著了《Logical Foundations of Proof Complexity》（證明覆雜性的邏輯基礎）。 ^[4] 

據2023年9月AMiner平台數據，史提芬·古克已發表學術論文156篇，論文被引11627次，H-Index：45。 ^[12] 

[1]Stephen Bellantoni,Stephen Cook.A new recursion-theoretic characterization of the polytime functions[J].Reviews of Physiology Biochemistry and Pharmacology,1992. ^[12] 

[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. ^[12] 

[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. ^[12] 

據2023年9月美國計算機協會官網數據，史提芬·古克已培養畢業博士生30多位。 ^[4] 

2017年秋季授課：可計算性與邏輯；2018年冬季授課：計算複雜性與可計算性。 ^[9] 

史提芬·古克的父親是聯合碳化物公司子公司的化學家，同時也是紐約州立大學布法羅分校的兼職教授，母親是一名家庭主婦，偶爾也在伊利社區學院教英語。 ^[4] 

史提芬·古克十幾歲的時候對電子學產生了興趣。史提芬·古克對航海有狂熱的興趣，是加拿大皇家遊艇俱樂部的長期成員。 ^[4] 

史提芬·古克和妻子琳達住在多倫多，有兩個兒子。 ^[4] 

他（史提芬·古克）以一種重要而深刻的方式推進了我們對計算複雜性的理解（For his advancement of our understanding of the complexity of computation in a significant and profound way）。（1982年圖靈獎評） ^[4] 

他（史提芬·古克）的工作在複雜計算至關重要的所有領域都產生了巨大的影響（ His work，has had a dramatic impact in all fields where complex computations are crucial）。（美通社評） ^[7] 

史提芬·古克是為數不多的數學研究者之一，他的思想為當代和後代催生了新的研究領域。除了在複雜性理論方面的著名貢獻外，庫克還在計算理論、算法設計、編程語言和數學邏輯方面做出了根本性的貢獻（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）。（多倫多大學評） ^[8] 

菲爾茲數學科學研究所於2000年4月28日至29日舉辦了有關史提芬·古克的研討會。 ^[10]