史蒂芬·庫克
史蒂芬·亞瑟·庫克(英語:Stephen Arthur Cook,1939年12月14日—)是一名美國計算機科學家,計算複雜性理論的重要研究者。
史蒂芬·庫克 | |
---|---|
Stephen Arthur Cook | |
![]() | |
出生 | ![]() | 1939年12月14日
母校 | 哈佛大學 密西根大學 |
機構 | 多倫多大學 加州大學伯克利分校 |
知名於 | NP完全 |
獎項 | 圖靈獎 |
1971年,在他的論文《定理證明程式的複雜性》(The Complexity of Theorem Proving Procedures),他整理了NP完備性的目標,亦產生了庫克定理——布爾可滿足性問題是NP完備的證明。
1982年,庫克獲得圖靈獎。因為其論文開啟了NP完備性的研究,令這個領域於之後的十年成為計算機科學中最活躍和重要的研究。
庫克現為多倫多大學的計算機科學和數學系教授。
外部連結
編輯這是一篇關於美國科學家的小作品。您可以透過編輯或修訂擴充其內容。 |