史提芬·古克

史提芬·A·古克(Stephen A. Cook)是计算机科学家，计算复杂性理论的重要研究者。

1971年，在他的论文The Complexity of Theorem Proving Procedures，他整理了NP完备性的目标，亦产生了古克定理——布尔可满足性问题是NP完备的证明。

1982年，古克得到图灵奖。因为其论文开启了NP完备性的研究，令这个范畴于之后的十年成为计算机科学中最活跃和重要的研究。

古克现为多伦多大学的计算机科学和数学部门教授。