Stephen A. Cook
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
| Personendaten | |
|---|---|
| NAME | Cook, Stephen A. |
| KURZBESCHREIBUNG | Informatiker, bekannt durch den Satz von Cook |
| GEBURTSDATUM | 1939 |
| GEBURTSORT | Buffalo, New York |