Stephen A. Cook
Stephen Arthur Cook OOnt (* 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''). Veröffentlicht in Wikipedia
Treffer 1 - 20 von 45 für Suche 'Cook, Stephen', Suchdauer: 0,30s
Treffer weiter einschränken
-
1
-
2
-
3Veröffentlicht 2018UnknownFormat
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15UnknownFormat
-
16
-
17
-
18
-
19
-
20