![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/6/68/Prof.Cook.jpg/640px-Prof.Cook.jpg&w=640&q=50)
Stephen A. Cook
amerikanischer Informatiker, Satz von Cook / aus Wikipedia, der freien encyclopedia
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.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/6/68/Prof.Cook.jpg/640px-Prof.Cook.jpg)
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).