史蒂芬·库克
外观
维基百科,自由的百科全书
史蒂芬·库克 Stephen Arthur Cook | |
---|---|
出生 | (1939-12-14) 1939年12月14日(84岁) 美国纽约州水牛城 |
母校 | 哈佛大学 密歇根大学 |
机构 | 多伦多大学 加州大学伯克利分校 |
知名于 | NP完全 |
奖项 | 图灵奖 |
史蒂芬·亚瑟·库克(英语:Stephen Arthur Cook,1939年12月14日—)是一名美国计算机科学家,计算复杂性理论的重要研究者。
1971年,在他的论文《定理证明程式的复杂性》(The Complexity of Theorem Proving Procedures),他整理了NP完备性的目标,亦产生了库克定理——布尔可满足性问题是NP完备的证明。
1982年,库克获得图灵奖。因为其论文开启了NP完备性的研究,令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。
库克现为多伦多大学的计算机科学和数学系教授。
外部链接
[编辑]图灵奖获得者 | |
---|---|
1960年代 |
|
1970年代 | |
1980年代 | |
1990年代 |
|
2000年代 | |
2010年代 | |
2020年代 | |
国际 | |
---|---|
各地 | |
学术 | |
其他 |
这是一篇关于美国科学家的小作品。您可以通过编辑或修订扩充其内容。 |
隐藏分类:
- 含有hCards的条目
- 本地相关图片与维基数据相同
- 含有英语的条目
- 包含FAST标识符的维基百科条目
- 包含ISNI标识符的维基百科条目
- 包含VIAF标识符的维基百科条目
- 包含GND标识符的维基百科条目
- 包含J9U标识符的维基百科条目
- 包含LCCN标识符的维基百科条目
- 包含NKC标识符的维基百科条目
- 包含NTA标识符的维基百科条目
- 包含ACM-DL标识符的维基百科条目
- 包含DBLP标识符的维基百科条目
- 包含Google Scholar标识符的维基百科条目
- 包含MATHSN标识符的维基百科条目
- 包含MGP标识符的维基百科条目
- 包含Scopus标识符的维基百科条目
- 包含ZBMATH标识符的维基百科条目
- 包含SUDOC标识符的维基百科条目
- 全部小作品
- 美国科学家小作品