史提芬·古克
维基百科,自由的百科全书
史提芬·A·古克(Stephen A. Cook,1939年-),計算機科學家,計算複雜性理論的重要研究者。
1971年,在他的論文《The Complexity of Theorem Proving Procedures》,他整理了NP完備性的目標,亦產生了古克定理——布尔可滿足性問題是NP完備的證明。
1982年,古克得到图灵奖。因為其論文開啟了NP完備性的研究,令這個範疇於之後的十年成為計算機科學中最活躍和重要的研究。
古克現為多倫多大學的計算機科學和數學部門教授。
[编辑] 外部鏈結
1966年: 佩利 • 67年: 威尔克斯 • 68年: 漢明 • 69年: 閔斯基 • 70年: 维尔金森 • 71年: 麦卡锡 • 72年: 迪科斯彻 • 73年: 巴赫曼 • 74年: 高德納 • 75年: 纽威尔和 西蒙 • 76年: 拉宾和 斯科特 • 77年: 巴科斯 • 78年: 弗洛易德 • 79年: 艾佛森 • 80年: 何珥 • 81年: 科德 • 82年: 古克 • 83年: 湯普遜和 里奇 • 84年: 沃斯 • 85年: 卡普 • 86年: 霍普克罗夫特和 塔扬 • 87年: 科克 • 88年: 苏泽兰 • 89年: 卡亨 • 90年: 考巴托 • 91年: 米尔纳 • 92年: 兰普森 • 93年: 哈特马尼斯和 斯特恩斯 • 94年: 费根鲍姆和 瑞迪 • 95年: 布卢姆 • 96年: 伯努利 • 97年: 恩格尔巴特 • 98年: 格雷 • 99年: 布鲁克斯 • 2000年: 姚期智 • 01年: 达尔和 奈加特 • 02年: 李维斯特、萨莫尔和 阿德曼 • 03年: 凯 • 04年: 科夫和 卡恩 • 05年: 诺尔 • 06年: 艾伦 • 07年: 克拉克、爱默生和 斯发基斯