Stephen A. Cook

Stephen A. Cook ist Professor der Informatik an der Universität in Toronto/Kanada. Sein Hauptbetätigungsfeld ist die Berechenbarkeitstheorie, Cook arbeitet aber auch an der Schnittstelle von Logik und Berechenbarkeitstheorie.

Cook wurde berühmt durch den Satz von Cook: "SAT ist NP-vollständig".

Weblink: http://www.cs.toronto.edu/DCS/People/Faculty/sacook.html