史蒂芬·庫克

史蒂芬 · 亞瑟 · 庫克 （ Stephen Arthur Cook ， ， 計算機科學家 ， 計算複雜性理論的重要研究者 。 1971年 ， 在他的論文 《 The Complexity of Theorem Proving Procedures 》 ， 他整理了NP完備性的目標 ， 亦產生了庫克定理 — — 布爾可滿足性問題是NP完備的證明 。 1982年 ， 庫克獲得圖靈獎 。 因爲其論文開啓了NP完備性的研究 ， 令這個領域於之後的十年成爲計算機科學中最活躍和重要的研究 。 庫克現爲多倫多大學的計算機科學和數學系教授 。