史提芬·古克
维基百科,自由的百科全书
史提芬·A·古克(Stephen A. Cook)是計算機科學家,計算複雜性理論的重要研究者。
1971年,在他的論文The Complexity of Theorem Proving Procedures,他整理了NP完備性的目標,亦產生了古克定理——-{zh-tw:布林滿足問題;zh-cn:布尔可滿足性問題}-(Boolean satisfiability problem: SAT)是NP完備的證明。
1982年,古克得到图灵奖。因為其論文開啟了NP完備性的研究,令這個範疇於之後的十年成為計算機科學中最活躍和重要的研究。
古克現為多倫多大學的計算機科學和數學部門教授。