史蒂芬·库克
近期热点
资料介绍
原文名:Stephen Arthur Cook
出生: (1939-12-14) 1939年12月14日(83岁) 美国纽约州水牛城
母校:哈佛大学密歇根大学
机构:多伦多大学加州大学伯克利分校
知名于:NP完全
奖项:图灵奖
史蒂芬·亚瑟·库克(Stephen Arthur Cook,1939年12月14日—,计算机科学家,计算复杂性理论的重要研究者。1971年,在他的论文《The Complexity of Theorem Proving Procedures,他整理了NP完备性的目标,亦产生了库克定理——布尔可满足性问题是NP完备的证明。
1982年,库克获得图灵奖。因为其论文开启了NP完备性的研究,令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。
库克现为多伦多大学的计算机科学和数学系教授。
标签: 计算机科学家
相关热点
最新收录
- 彩乃圣罗(彩乃せいら) 07-24
- 心阳希美(心陽のぞ美) 07-24
- 七绪绯美佳(七緒ひみか 07-24
- 阳野爱实(陽野めぐみ) 07-24
- 1818黄金眼郑女士 07-24
- 发际线男孩小吴 07-24
- 乔瓦尼·多梅尼科·马拉迪 07-24
- 夏尔-欧仁·德洛奈 07-23
- 板垣公一 07-23
- 平山清次 07-23