Stephen Arthur Cook was born on December 14,1939 and is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity.
17 Facts About Stephen Cook
2.
Stephen Cook is a university professor at the University of Toronto, Department of Computer Science and Department of Mathematics.
3.
Stephen Cook joined the University of California, Berkeley, mathematics department in 1966 as an assistant professor, and stayed there until 1970 when he was denied reappointment.
4.
Stephen Cook is considered one of the forefathers of computational complexity theory.
5.
In 1982, Stephen Cook received the Turing Award for his contributions to complexity theory.
6.
Stephen Cook made another major contribution to the field in his 1979 paper, joint with his student Robert A Reckhow, "The Relative Efficiency of Propositional Proof Systems", in which they formalized the notions of p-simulation and efficient propositional proof system, which started an area now called propositional proof complexity.
7.
Stephen Cook co-authored a book with his student Phuong The Nguyen in this area titled "Logical Foundations of Proof Complexity".
Related searches
Bernard Bolzano 8.
Stephen Cook named the complexity class NC after Nick Pippenger.
9.
Stephen Cook has won John L Synge Award and Bernard Bolzano Medal, and is a fellow of the Royal Society of London and Royal Society of Canada.
10.
Stephen Cook was elected to membership in the National Academy of Sciences and the American Academy of Arts and Sciences.
11.
Stephen Cook is a corresponding member of the Gottingen Academy of Sciences and Humanities.
12.
Stephen Cook was selected by the Association for Symbolic Logic to give the Godel Lecture in 1999.
13.
Stephen Cook has won the 2012 Gerhard Herzberg Canada Gold Medal for Science and Engineering, the highest honor for scientists and engineers in Canada.
14.
Stephen Cook was named an Officer of the Order of Canada in 2015.
15.
Stephen Cook was granted the BBVA Foundation Frontiers of Knowledge Award 2015 in the Information and Communication Technologies category "for his important role in identifying what computers can and cannot solve efficiently," in the words of the jury's citation.
16.
Stephen Cook has supervised numerous MSc students, and 36 PhD students have completed their degrees under his supervision.
17.
Stephen Cook is often called by his short name Steve Cook.