article

Stephen Arthur Cook (* 1939 in Buffalo, New York) ist Professor der Informatik an der Universität in Toronto/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".

Weblinks


Mann | US-Amerikaner | Informatiker | Turing-Preisträger | Geboren 1939

স্টিফেন কুক | Stephen Cook | Stephen Cook | ステファン・クック | 스티븐 쿡 | Stephen Cook | 史提芬·古克

 

This article is licensed under the GNU Free Documentation License. It uses material from the "Stephen A. Cook".

Home Pageartsbusinesscomputersgameshealthhospitalshomekids & teensnewsphysiciansrecreationreferenceregionalscienceshoppingsocietysportsworld