檢視史蒂芬·庫克的原始碼

{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"

! <p style="background: #0088A8; color: #FFFFFF; margin:auto; padding:5px 0; "> '''史蒂芬·亞瑟·库克''' </p>

|-

|<center><img src="https://3.bp.blogspot.com/-4gQz3L3MOxU/V3hgdzQ7cVI/AAAAAAAAMdI/a2hyxg2dH8kwhD27UKEJzKb2PH9QM0GfgCLcB/s320/Stephen-Cook-Fundacion-BBVA-Madrid.jpg" width="280"></center><small>[https://eglycolinamarinprimera.blogspot.com/2016/07/stephen-cook.html 圖片來自eglycolinamarinprimera]

</small>

|}
'''史蒂芬·亞瑟·库克'''（Stephen Arthur Cook，{{bd|1939年|12月14日}}，誕生於 [[紐約州]][[水牛城]]，[[計算機科學]]家，[[計算複雜性理論]]的重要研究者。

1971年，在他的論文《{{lang|en|The Complexity of Theorem Proving Procedures}}》，他整理了[[NP完備|NP完備性]]的目標，亦產生了[[古克定理|库克定理]]——[[布爾可滿足性問題]]是NP完備的證明。

1982年，库克获得[[图灵奖]]。因為其論文開啟了NP完備性的研究，令這個领域於之後的十年成為計算機科學中最活躍和重要的研究。

库克現為[[多倫多大學]]的計算機科學和數學系教授。