Back ستيفن كوك Arabic ستيفن كوك ARZ Stiven Artur Kuk Azerbaijani استیون کوک AZB Стывен Артур Кук Byelorussian স্টিভেন কুক Bengali/Bangla Stephen Cook Catalan Stephen Cook Czech Stephen Cook English Stephen Cook Esperanto
Stephen Arthur Cook OOnt (* 14. Dezember 1939 in Buffalo, New York) ist Professor der Informatik an der University of Toronto in Kanada. Sein Hauptbetätigungsfeld ist die Komplexitätstheorie; Cook arbeitet neben seiner Lehrtätigkeit aber auch an der Schnittstelle von Logik und Berechenbarkeitstheorie.
Cook wurde in der theoretischen Informatik berühmt durch den Satz von Cook: „SAT ist NP-vollständig“. 1982 bekam er für diese Entdeckung den Turing Award.
1990 hielt er einen Plenarvortrag auf dem ICM in Kyoto (Computational complexity of higher type functions).