Suchergebnisse
Suchergebnisse:
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 Arthur Cook OC OOnt (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity.
Stephen A. Cook. University Professor Emeritus Department of Computer Science University of Toronto Toronto, Canada M5S 3G4. Tel: (416) 978-5183 sacook [at] cs [dot] toronto [dot] edu Office: Sandford Fleming 2303C. I am a member of the Theory Group in the Computer Science Department.
In 1985, Stephen Cook was promoted to the position of University Professor at the University of Toronto, and now holds the position of Distinguished University Professor in the Computer Science and Mathematics Departments. Over the course of his career he has mentored over thirty Ph.D. students, and continues to be active in teaching, research ...
26. Sept. 2013 · Stephen A. Cook. © Klaus Tschira Stiftung / Peter Badge. “Stephen Arthur Cook” ist einer jener Namen, welche (hoffentlich) jeder Informatikabsolvent, und zumindest jeder zweite frisch gebackene Mathematiker, im Rahmen des jeweiligen Studiums kennen und bewundern gelernt hat.
Stephen Cook is University Professor Emeritus of Computer Science at the University of Toronto. He is the 1982 Turing Award Winner and the 2012 winner of the NSERC Gerhard Herzberg Canada Gold Medal for Science and Engineering.
Stephen Arthur Cook - Heidelberg Laureate Forum. * December 14, 1939, Buffalo, New York, USA. ACM A.M. Turing Award - 1982. For his advancement of our understanding of the complexity of computation in a significant and profound way.
