史蒂芬·库克 史蒂芬亞瑟库克英語Stephen Arthur Cook年月日是一名美國計算機科學家計算複雜性理論的重要研究者 年在他的論文定理證明程式的複雜性The Complexity of Theorem Proving Procedures他整理了NP完備性的目標亦產生了库克定理布爾可滿足性問題是NP完備的證明 年库克获得图灵奖因為其論文開啟了NP完備性的研究令這個领域於之後的十年成為計算機科學中最活躍和重要的研究 库克現為多倫多大學的計算機科學和數學系教授