史蒂芬·库克

史蒂芬·库克 Stephen Arthur Cook
出生	(1939-12-14) 1939年12月14日 美国纽约州水牛城
母校	哈佛大学 密歇根大学
机构	多伦多大学 加州大学伯克利分校
知名于	NP完全
奖项	图灵奖

史蒂芬·亚瑟·库克（英语：Stephen Arthur Cook，1939年12月14日—）是一名美国计算机科学家，计算复杂性理论的重要研究者。

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

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

库克现为多伦多大学的计算机科学和数学系教授。

外部链接

• （英文） 古克的网站（页面存档备份，存于互联网档案馆）