Informatiker

Stephen A. Cook 2008Stephen Arthur Cook (* 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).

Weblinks [Bearbeiten]
Cooks Website an der Universität Toronto (englisch)
Personendaten
NAME Cook, Stephen A.
KURZBESCHREIBUNG amerikanischer Informatiker, Satz von Cook
GEBURTSDATUM 14. Dezember 1939
GEBURTSORT Buffalo, New York

Von „http://de.wikipedia.org/wiki/Stephen_A._Cook“
Kategorien: Turing-Preisträger | Informatiker | Mitglied der Royal Society | Geboren 1939 | US-Amerikaner | Mann