Stephen A. Cook

Stephen A. Cook (*1939 in Buffalo, New York) ist Professor der Informatik an der Universität in Toronto/Kanada. Sein Hauptbetätigungsfeld ist die Berechenbarkeitstheorie, 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

• Cooks Website an der Universität Toronto

Cook, Stephen A. Cook, Stephen A. Cook, Stephen A. Cook, Stephen A.

Personendaten
NAME	Cook, Stephen A.
ALTERNATIVNAMEN
KURZBESCHREIBUNG	Informatiker, bekannt durch den Satz von Cook
GEBURTSDATUM	1939
GEBURTSORT	Buffalo, New York
STERBEDATUM
STERBEORT

See also: Stephen A. Cook, 1939, Berechenbarkeitstheorie, Buffalo, Erfüllbarkeitsproblem der Aussagenlogik, Informatik, Kanada, Logik, NP-Vollständigkeit