www.wikidata.de-de.nina.az

Stephen A Cook Stephen Arthur Cook OOnt 14 Dezember 1939 in Buffalo New York ist Professor der Informatik an der Univers

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.

Stephen A. Cook 2008

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).

Leben Bearbeiten

Cook wuchs als Sohn eines Chemie-Professors und einer Englischlehrerin in der Nähe von Buffalo, New York, auf. Ab 1957 studierte er Ingenieurwissenschaften an der University of Michigan, wechselte nach zweieinhalb Jahren zur Mathematik und erreichte 1961 den Bachelor-Grad. Er studierte an der Harvard University weiter, wo ein Kurs seines späteren Doktorvaters Hao Wang sein Interesse an Computern weckte. 1962 wurde er Master der Mathematik, 1966 mit der Thesis On the Minimum Computation Time of Functions (darin enthalten unter anderem der Toom-Cook-Algorithmus) Ph.D. Nach Studiumsende wurde er Assistenzprofessor an der mathematischen Fakultät der University of California, Berkeley. Nachdem ihm dort eine Stelle auf Lebenszeit verweigert wurde, wechselte er 1970 als außerordentlicher Professor an die neugegründete Fakultät für Informatik der University of Toronto, wo er zunächst auch Mathematik-Vorlesungen hielt.

1971 formalisierte er in dem Paper The Complexity of Theorem Proving Procedures die Polynomialzeitreduktion (auch: Cook-Reduktion), und begründete mit dem Satz von Cook das Konzept der NP-Vollständigkeit und im Besonderen das P-NP-Problem. Im Jahr darauf wurde diese Arbeit von Cooks kurzzeitigem Berkeley-Kollegen Richard M. Karp popularisiert und durch Karps 21 NP-vollständige Probleme erweitert.

1975 wurde er ordentlicher Professor, und 1985 erhielt er den Ehrentitel University Professor.

Cook ist Steacie Fellow, Killiam Research Fellow, ACM Fellow, Fellow der Royal Society of London und der Royal Society of Canada, und wurde in die National Academy of Sciences und die American Academy of Arts and Sciences gewählt. Er ist korrespondierendes Mitglied der Akademie der Wissenschaften zu Göttingen. 1982 erhielt er den Turing Award, 1999 erhielt er den CRM-Fields-Preis und war Gödel-Lecturer. Ihm wurden die Gerhard Herzberg Canada Gold Medal for Science and Engineering für 2012 und der BBVA Foundation Frontiers of Knowledge Award für 2015 zugesprochen.

Cooks erster Doktorand war Walter Savitch (Satz von Savitch), es folgten fast 30 weitere.

Weblinks Bearbeiten

Commons: Stephen Cook – Sammlung von Bildern, Videos und Audiodateien
Personendaten
NAME Cook, Stephen A.
ALTERNATIVNAMEN Cook, Stephen Arthur (vollständiger Name)
KURZBESCHREIBUNG amerikanischer Informatiker, Satz von Cook
GEBURTSDATUM 14. Dezember 1939
GEBURTSORT Buffalo, New York
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Stephen Arthur Cook OOnt 14 Dezember 1939 in Buffalo New York ist Professor der Informatik an der University of Toronto in Kanada Sein Hauptbetatigungsfeld ist die Komplexitatstheorie Cook arbeitet neben seiner Lehrtatigkeit aber auch an der Schnittstelle von Logik und Berechenbarkeitstheorie Stephen A Cook 2008Cook wurde in der theoretischen Informatik beruhmt durch den Satz von Cook SAT ist NP vollstandig 1982 bekam er fur diese Entdeckung den Turing Award 1990 hielt er einen Plenarvortrag auf dem ICM in Kyoto Computational complexity of higher type functions Leben BearbeitenCook wuchs als Sohn eines Chemie Professors und einer Englischlehrerin in der Nahe von Buffalo New York auf Ab 1957 studierte er Ingenieurwissenschaften an der University of Michigan wechselte nach zweieinhalb Jahren zur Mathematik und erreichte 1961 den Bachelor Grad Er studierte an der Harvard University weiter wo ein Kurs seines spateren Doktorvaters Hao Wang sein Interesse an Computern weckte 1962 wurde er Master der Mathematik 1966 mit der Thesis On the Minimum Computation Time of Functions darin enthalten unter anderem der Toom Cook Algorithmus Ph D Nach Studiumsende wurde er Assistenzprofessor an der mathematischen Fakultat der University of California Berkeley Nachdem ihm dort eine Stelle auf Lebenszeit verweigert wurde wechselte er 1970 als ausserordentlicher Professor an die neugegrundete Fakultat fur Informatik der University of Toronto wo er zunachst auch Mathematik Vorlesungen hielt 1971 formalisierte er in dem Paper The Complexity of Theorem Proving Procedures die Polynomialzeitreduktion auch Cook Reduktion und begrundete mit dem Satz von Cook das Konzept der NP Vollstandigkeit und im Besonderen das P NP Problem Im Jahr darauf wurde diese Arbeit von Cooks kurzzeitigem Berkeley Kollegen Richard M Karp popularisiert und durch Karps 21 NP vollstandige Probleme erweitert 1975 wurde er ordentlicher Professor und 1985 erhielt er den Ehrentitel University Professor Cook ist Steacie Fellow Killiam Research Fellow ACM Fellow Fellow der Royal Society of London und der Royal Society of Canada und wurde in die National Academy of Sciences und die American Academy of Arts and Sciences gewahlt Er ist korrespondierendes Mitglied der Akademie der Wissenschaften zu Gottingen 1982 erhielt er den Turing Award 1999 erhielt er den CRM Fields Preis und war Godel Lecturer Ihm wurden die Gerhard Herzberg Canada Gold Medal for Science and Engineering fur 2012 und der BBVA Foundation Frontiers of Knowledge Award fur 2015 zugesprochen Cooks erster Doktorand war Walter Savitch Satz von Savitch es folgten fast 30 weitere Weblinks Bearbeiten nbsp Commons Stephen Cook Sammlung von Bildern Videos und Audiodateien Cooks Website an der Universitat Toronto englisch Oral History Interview des Charles Babbage Institute der University of Minnesota mit Stephen A Cook 2002 englisch Trager des Turing Awards 1966 Perlis 1967 Wilkes 1968 Hamming 1969 Minsky 1970 Wilkinson 1971 McCarthy 1972 Dijkstra 1973 Bachman 1974 Knuth 1975 Newell Simon 1976 Rabin Scott 1977 Backus 1978 Floyd 1979 Iverson 1980 Hoare 1981 Codd 1982 Cook 1983 Thompson Ritchie 1984 Wirth 1985 Karp 1986 Hopcroft Tarjan 1987 Cocke 1988 Sutherland 1989 Kahan 1990 Corbato 1991 Milner 1992 Lampson 1993 Hartmanis Stearns 1994 Feigenbaum Reddy 1995 Blum 1996 Pnueli 1997 Engelbart 1998 Gray 1999 Brooks 2000 Yao 2001 Dahl Nygaard 2002 Rivest Shamir Adleman 2003 Kay 2004 Cerf Kahn 2005 Naur 2006 Allen 2007 Clarke Emerson Sifakis 2008 Liskov 2009 Thacker 2010 Valiant 2011 Pearl 2012 Micali Goldwasser 2013 Lamport 2014 Stonebraker 2015 Diffie Hellman 2016 Berners Lee 2017 Hennessy Patterson 2018 Hinton LeCun Bengio 2019 Catmull Hanrahan 2020 Aho Ullman 2021 Dongarra 2022 Metcalfe Normdaten Person GND 140808973 lobid OGND AKS LCCN nr2003030022 VIAF 38354675 Wikipedia Personensuche PersonendatenNAME Cook Stephen A ALTERNATIVNAMEN Cook Stephen Arthur vollstandiger Name KURZBESCHREIBUNG amerikanischer Informatiker Satz von CookGEBURTSDATUM 14 Dezember 1939GEBURTSORT Buffalo New York Abgerufen von https de wikipedia org w index php title Stephen A Cook amp oldid 233331906