计算机科学

首页 > 计算机科学

史蒂芬·库克

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

史蒂芬·亚瑟·库克(Stephen Arthur Cook,1939年12月14日,计算机科学家,计算复杂性理论的重要研究者。

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

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

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

外部链接

  • (英文) 古克的网站

相关推荐