(United States) and the American Academy of Arts and Sciences. He is a corresponding member of the Göttingen Academy of Sciences and Humanities. Cook won the ACM Turing Award in 1982. Association for Computing Machinery honored him as a Fellow of ACM in 2008 for his fundamental contributions to the theory of computational complexity. He was selected by the Association for Symbolic Logic to give the Gödel Lecture in 1999. The Government of Ontario appointed him to the Order of Ontario in 2013, the highest honor in Ontario. He has won the 2012 Gerhard Herzberg Canada Gold Medal for Science and Engineering, the highest honor for scientists and engineers in Canada. The Herzberg Medal is awarded by NSERC for "both the sustained excellence and overall influence of research work conducted in Canada in the natural sciences or engineering". He was named an Officer of the Order of Canada in 2015. 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. His work, it continues, "has had a dramatic impact in all fields where complex computations are crucial." Cook has supervised numerous MSc students, and 36 PhD students have completed their degrees under his supervision. Personal life Cook lives with his wife in Toronto. They have two sons, Gordon and James. He plays the violin and enjoys sailing. He is often called by his short name Steve Cook. See also List of pioneers in computer science References External links Home page of Stephen A. Cook 'P versus NP' and the Limits of Computation – Public lecture given by Stephen Cook at the University of Toronto Oral history interview with Stephen Cook at Charles Babbage Institute, University of Minnesota. Cook discussed his education at the University of Michigan and Harvard University and early work at the University of California, Berkeley, and his growing interest in problems of computational complexity. Cook recounted his move to the University of Toronto in 1970 and the reception of his work on NP-completeness, leading up to his A.M. Turing Award. Living people 1939 births Members of the United States National Academy of Sciences Members of the Order of Ontario American computer scientists Canadian computer scientists Turing Award laureates Fellows of the Royal Society Fellows of the Royal Society of