史蒂芬·库克
史蒂芬·亞瑟·库克(英語:Stephen Arthur Cook,1939年12月14日—)是一名美國計算機科學家,計算複雜性理論的重要研究者。
1971年,在他的論文《定理證明程式的複雜性》(The Complexity of Theorem Proving Procedures),他整理了NP完備性的目標,亦產生了库克定理——布爾可滿足性問題是NP完備的證明。
1982年,库克获得图灵奖。因為其論文開啟了NP完備性的研究,令這個领域於之後的十年成為計算機科學中最活躍和重要的研究。
库克現為多倫多大學的計算機科學和數學系教授。
外部連結
|
---|
| 1960年代 | |
---|
| 1970年代 | |
---|
| 1980年代 | |
---|
| 1990年代 | |
---|
| 2000年代 | |
---|
| 2010年代 | |
---|
| 2020年代 | |
---|
| |
|
BBVA基金会知识前沿奖获得者 |
---|
| | | | | | | 气候变化 |
---|
| 2000年代 | |
---|
| 2010年代 |
- 2010年:尼古拉斯·斯特恩
- 2011年:艾萨克·赫尔德
- 2012年:苏珊·所罗门
- 2013年:克里斯托弗·菲尔德
- 2014年:理查德·艾利
- 2015年:维拉巴德兰·拉马纳坦
- 2016年:詹姆斯·漢森
- 真鍋淑郎
- 2017年:威廉·诺德豪斯
- 2018年:安妮·卡泽纳夫
- 约翰·A·丘奇
- 乔纳森·M·格雷戈里
- 2019年:克里·伊曼纽尔
|
---|
| 2020年代 |
- 2020年:尼爾·艾格
- 伊恩·伯顿
- 卡伦·奥布赖恩
- 2021年:朗尼·汤姆森
- 艾伦·莫斯利-汤普森
- 2022年:艾伦·托马斯
- 詹姆斯·扎乔斯
- 2023年:多尔特·达尔-延森
- 让·茹泽尔
- 瓦莱丽·马森-德尔莫特
- Jakob Schwander
- 托马斯·斯托克
|
---|
|
| | 人文与社会科学 |
---|
| 2000年代 |
- 2008年:安利捷贫困行动实验室
- 2009年:美国国家发展研究院
|
---|
| 2010年代 |
- 2010年:國際稻米研究所
- 2011年:西罗·德·夸德罗斯
- 2012年:治疗被忽视疾病药物倡议
- 2013年:伯乐林教育基金会
- 2014年:海伦·凯勒国际
- 2015年:马丁·拉瓦利恩
- 2017年:努维亚·穆尼奥斯
- 2018年:诺姆·乔姆斯基
- 2019年:苏珊·菲斯克
- 谢利·E·泰勒
|
---|
| 2020年代 | |
---|
|
| | 生态学和保护生物学 |
---|
| 2000年代 |
- 2008年:托马斯·洛夫乔伊
- 威廉·劳伦斯
- 2009年:彼得·B·赖赫
|
---|
| 2010年代 | |
---|
| 2020年代 |
- 2020年:桑德拉·迪亚兹
- 桑德拉·拉沃雷尔
- 马克·韦斯托比
- 2021年:莱诺尔·法里格
- 西蒙·艾许·莱文
- 斯图尔特·皮克特
- 2022年:苏珊·阿尔伯兹
- 珍妮·阿尔特曼
- 马琳·祖克
- 2023年:Gerardo Ceballos
- 鲁道夫·迪尔佐
|
---|
|
| | 经济、金融与管理 |
---|
| 2000年代 |
- 2008年:让·梯若尔
- 2009年:安德鲁·马斯-科莱尔
- 雨果·弗罗因德·索南夏因
|
---|
| 2010年代 | |
---|
| 2020年代 | |
---|
|
| | | | |
|