Stephen Arthur Cook (geboren am 14. Dezember 1939, Büffel, New York) ist ein berühmter amerikanisch-kanadischer Computerwissenschaftler und Mathematiker, der Hauptbeiträge zu den Feldern der Kompliziertheitstheorie und Probekompliziertheit geleistet hat. Er ist zurzeit ein Ordentlicher Professor an der Universität Torontos, Abteilung der Informatik und Abteilung der Mathematik.

Lebensbeschreibung

Kochen Sie hat sein Vordiplom 1961 von der Universität Michigans, und seinem Magisterabschluss und dem Dr. von der Universität von Harvard, beziehungsweise 1962 und 1966 erhalten. Er hat sich der Universität Kaliforniens, Berkeley, Mathematik-Abteilung 1966 als ein Helfer-Professor angeschlossen, und ist dort bis 1970 geblieben, als ihm Wiederernennung bestritten wurde. In einer Rede, die den 30. Jahrestag des Berkeleys feiert, haben EECS Abteilung, Sieger von Gefährten Turing Award und Professor von Berkeley Richard Karp gesagt, dass, "Ist es zu unserer immer währenden Scham, dass wir unfähig waren, die Matheabteilung zu überzeugen, ihm Amtszeit zu geben." Kochen Sie hat sich der Fakultät der Universität Torontos, Informatik und Mathematik-Abteilungen 1970 als ein Mitprofessor angeschlossen, wo er dem Professor 1975 und Ordentlichen Professoren 1985 gefördert wurde.

Forschung

Koch wird als einer der Vorfahren der rechenbetonten Kompliziertheitstheorie betrachtet.

Während seines Dr. hat Koch an der Kompliziertheit von Funktionen hauptsächlich an der Multiplikation gearbeitet. Er hat seinen Dr. 1966 empfangen. Ein paar Jahre später, in seiner Samen-1971-Zeitung "Die Kompliziertheit von Lehrsatz-Beweis-Verfahren" hat Koch die Begriffe der polynomisch-maligen Verminderung formalisiert (a.k.a. Kochen Sie die Verminderung), und NP-Vollständigkeit, und hat die Existenz eines NP-complete Problems durch die Vertretung bewiesen, dass das Problem von Boolean satisfiability (gewöhnlich bekannt, wie GESESSEN) NP-complete ist. Dieser Lehrsatz wurde unabhängig von Leonid Levin in der Sowjetunion bewiesen, und ist so den Namen den Lehrsatz des Kochs-Levin gegeben worden. Das Papier hat auch das berühmteste Problem in der Informatik, dem P dagegen formuliert. NP Problem. Informell, "P dagegen. NP" Frage fragt, ob jedes Optimierungsproblem, dessen Antworten für correctness/optimality effizient nachgeprüft werden können, optimal mit einem effizienten Algorithmus gelöst werden kann. In Anbetracht des Überflusses an solchen Optimierungsproblemen im täglichen Leben, einer positiven Antwort auf "P dagegen. NP" Frage würde wahrscheinlich tiefe praktische und philosophische Folgen haben.

Kochen Sie Vermutungen, dass es Optimierungsprobleme gibt (mit leicht checkable Lösungen), der durch effiziente Algorithmen nicht gelöst werden kann, d. h., ist P NP nicht gleich. Diese Vermutung hat sehr viel Forschung in der rechenbetonten Kompliziertheitstheorie erzeugt, die unser Verstehen der innewohnenden Schwierigkeit von rechenbetonten Problemen beträchtlich verbessert hat, und was effizient geschätzt werden kann. Und doch bleibt die Vermutung offen und ist unter den sieben berühmten Millennium-Preis-Problemen.

1982 hat Koch den renommierten Preis von Turing für seine Beiträge zur Kompliziertheitstheorie erhalten. Sein Zitat liest:

In seinen "Durchführbar Konstruktiven Beweisen und der Satzrechnung" 1975 veröffentlichtes Papier hat er die equational Theorie PV eingeführt (Polynomisch-malig Nachprüfbar eintretend), um den Begriff von Beweisen mit nur polynomisch-malige Konzepte zu formalisieren. He hat einen anderen Hauptbeitrag zum Feld in seiner 1979-Zeitung geleistet, Gelenk mit seinem Studenten Robert A. Reckhow, "Die Verhältnisleistungsfähigkeit von Satzprobesystemen" in dem sie die Begriffe der P-Simulation und des effizienten Satzprobesystems formalisiert haben, das ein Gebiet jetzt angefangen hat, hat Satzprobekompliziertheit genannt. Sie haben bewiesen, dass die Existenz eines Probesystems, in dem jede wahre Formel einen kurzen Beweis hat, zu NP = coNP gleichwertig ist. Kochen Sie co-authored ein Buch mit seinem Studenten Phuong Der Nguyen in diesem Gebiet betitelt "Logische Fundamente der Probekompliziertheit".

Seine Hauptforschungsgebiete sind Kompliziertheitstheorie und Probekompliziertheit mit Ausflügen in die Programmiersprache-Semantik, passen Berechnung und künstlicher Intelligenz an. Andere Gebiete, die er beigetragen hat, um begrenzte Arithmetik einzuschließen, haben Rückmathematik, Kompliziertheit von höheren Typ-Funktionen, Kompliziertheit der Analyse und niedrigere Grenzen in Satzprobesystemen begrenzt.

Preise und besondere Auszeichnungen

Koch wurde einer Steacie Kameradschaft 1977, einer Killam Forschungskameradschaft 1982 zuerkannt, und hat den CRM-Fields-PIMS Preis 1999 erhalten. Er hat John L. Synge Award und Bernard Bolzano Medal gewonnen, und ist ein Gefährte der Königlichen Gesellschaft Londons und Königlichen Gesellschaft Kanadas. Koch wurde zur Mitgliedschaft in der Nationalen Akademie von Wissenschaften (die Vereinigten Staaten) und die amerikanische Kunstakademie und Wissenschaften gewählt. Vereinigung, um Maschinerie Zu schätzen, hat ihn als ein Gefährte von ACM 2008 für seinen geehrt

grundsätzliche Beiträge zur Theorie der rechenbetonten Kompliziertheit.

Er wurde dem ACM Turing Preis 1982 zuerkannt.

Koch hat zahlreiche MSc Studenten beaufsichtigt, und 30 Doktorstudenten haben ihre Grade unter seiner Aufsicht vollendet.

Persönliches Leben

Koch hat zwei Kinder und lebt zurzeit mit seiner Frau in Toronto. Er spielt die Geige und hat daran Freude zu segeln.

Links

• Hausseite von Stephen A. Cook
• Mündliches Geschichtsinterview mit Stephen Cook am Institut von Charles Babbage, der Universität Minnesotas. Cook hat seine Ausbildung an der Universität Michigans und Harvard akademische und frühe Arbeit an der Universität Kaliforniens, Berkeley und seinem wachsenden Interesse an Problemen der rechenbetonten Kompliziertheit besprochen. Cook hat seine Bewegung zur Universität Torontos 1970 und dem Empfang seiner Arbeit an der NP-Vollständigkeit nachgezählt, bis zu seinem vormittags Turing Preis führend.
• Koch von Stephen an DBLP

Galerie

Kochen Sie File:Profs und Krajicek.jpg|Professors-Koch und Krajíček in der Fall-Schule der Logik & Kompliziertheit in Prag, am 24. September 2008