Arts &amp; Science Staff with files from BBVA / en 91łÔąĎ computer scientist receives international award for pushing frontiers of knowledge /news/u-t-computer-scientist-receives-international-award-pushing-frontiers-knowledge <span class="field field--name-title field--type-string field--label-hidden">91łÔąĎ computer scientist receives international award for pushing frontiers of knowledge</span> <span class="field field--name-uid field--type-entity-reference field--label-hidden"><span>sgupta</span></span> <span class="field field--name-created field--type-created field--label-hidden"><time datetime="2016-01-12T06:22:56-05:00" title="Tuesday, January 12, 2016 - 06:22" class="datetime">Tue, 01/12/2016 - 06:22</time> </span> <div class="clearfix text-formatted field field--name-field-cutline-long field--type-text-long field--label-above"> <div class="field__label">Cutline</div> <div class="field__item">Award-winning researcher Stephen Cook, who has made fundamental contributions to computational theory, algorithm design, programming languages and mathematical logic, is currently teaching an undergraduate course (photo by NSERC)</div> </div> <div class="field field--name-field-author-reporters field--type-entity-reference field--label-hidden field__items"> <div class="field__item"><a href="/news/authors-reporters/arts-science-staff-files-bbva" hreflang="en">Arts &amp; Science Staff with files from BBVA</a></div> <div class="field__item"><a href="/news/authors-reporters/faculty-arts-science-staff" hreflang="en">Faculty of Arts &amp; Science Staff</a></div> </div> <div class="field field--name-field-author-legacy field--type-string field--label-above"> <div class="field__label">Author legacy</div> <div class="field__item">Arts &amp; Science Staff with files from BBVA</div> </div> <div class="field field--name-field-story-tags field--type-entity-reference field--label-hidden field__items"> <div class="field__item"><a href="/news/tags/awards" hreflang="en">Awards</a></div> <div class="field__item"><a href="/news/tags/computer-science" hreflang="en">Computer Science</a></div> <div class="field__item"><a href="/news/tags/faculty" hreflang="en">Faculty</a></div> <div class="field__item"><a href="/news/tags/faculty-arts-science" hreflang="en">Faculty of Arts &amp; Science</a></div> <div class="field__item"><a href="/news/tags/international" hreflang="en">International</a></div> <div class="field__item"><a href="/news/tags/nserc" hreflang="en">NSERC</a></div> <div class="field__item"><a href="/news/tags/our-faculty-staff" hreflang="en">Our Faculty &amp; Staff</a></div> </div> <div class="field field--name-field-subheadline field--type-string-long field--label-above"> <div class="field__label">Subheadline</div> <div class="field__item">Stephen Cook showed what problems computer should not try to solve </div> </div> <div class="clearfix text-formatted field field--name-body field--type-text-with-summary field--label-hidden field__item"><p><strong>Stephen Cook</strong>&nbsp;has won the prestigious BBVA Foundation Frontiers of Knowledge Award in the Information and Communication Technologies category for his pioneering and influential work on computational complexity. &nbsp;</p> <p>A <a href="http://www.provost.utoronto.ca/awards/uprofessors.htm">University Professor</a> Emeritus, Cook&nbsp;said he is “astonished” and “delighted” by the award. In his long career, he has been fascinated to see how “computer science has advanced in leaps and bounds.”&nbsp;</p> <h2>World-renowned research</h2> <ul> <li>Cook expanded on Turing’s concept of computability – what a computer can and cannot solve – to include efficiency, so we can ascertain which problems are worth trying to solve and which are not&nbsp;</li> <li>He defined a class of “hardest problems”, termed NP-complete, such that solving one efficiently would mean all other NP problems were similarly solvable. “If you can show that a problem is NP-complete, then very likely you should give up trying to solve it,” Cook said.</li> <li>Cook is author of one of the Millennium Problems; one, concretely, whose solution touches on the encryption and security systems underpinning the digital economy</li> </ul> <p>“Steve’s contributions to research and teaching are exemplary, to say the least,” said Professor <strong>Ravin Balakrishnan</strong>, chair of the department of computer science. “His work has had global impact and the fundamental results of his decades of research continue to be at the absolute forefront of theoretical computer science.”&nbsp;</p> <h2><strong>Seminal Paper presented in 1971</strong></h2> <p>Cook’s seminal paper on the complexity of theorem-proving procedures was presented in 1971, soon after he joined 91łÔąĎ’s newly created department of computer science. &nbsp;</p> <p>The paper had a tremendous impact on how scientists think about which problems can be computationally solved in a reasonable amount of time and Cook’s presentation has been described as one of those rare moments when the scientific world agrees the world has changed. &nbsp;</p> <p>His central achievement was to identify a sub-class of NP problems which he termed NP-complete, whose distinguishing features are, firstly, that they are the hardest and, secondly, that they are computationally equivalent: finding an efficient algorithm for one would yield algorithms for all the rest, and not just for the sub-set of NP-complete problems, but for NP problems as a whole.</p> <p>“There are problems that a computer could feasibly solve, except that it would take until the sun burns out,” Cook said. “These are problems of the class we call NP. And then we have the class that we call P, which can be solved within an acceptable time frame. The trick is to decide which problems are NP [not efficiently solvable], and which are P [easily solvable].”&nbsp;</p> <h2><strong>Fundamental Problems in Computer Science</strong></h2> <p>Cook has also made fundamental contributions to computational theory, algorithm design, programming languages and mathematical logic, and his still-growing body of work is likely to be cited for many decades to come. He <a href="http://amturing.acm.org/award_winners/cook_n991950.cfm">received an A.M. Turing Award</a>, the highest honour for a researcher in computer science, and his inquiries are now among the essential theoretical results that all computer science graduates must understand. &nbsp;</p> <p>Cook received the <a href="http://news.utoronto.ca/professor-stephen-cook-herzberg-medallist">NSERC Gerhard Herzberg Canada Gold Medal for Science and Engineering</a> in 2012. He is an Officer to the Order of Canada, a fellow of the Royal Society of London and the Royal Society of Canada, and was awarded the Order of Ontario.&nbsp;Cook has also been elected to membership in the National Academy of Sciences (United States) and the American Academy of Arts and Sciences.</p> <h2><strong>Acclaimed teacher</strong></h2> <p>A very popular and effective teacher – currently teaching an undergraduate course on computational complexity and computability – Cook is also known as an excellent advisor and overall leader within the mathematical and computer science communities.&nbsp;</p> <p><img alt="photo of Stephen Cook teaching" src="/sites/default/files/2016-01-12-stephen-cook-teaching.jpg" style="width: 630px; height: 420px; margin: 10px 25px;">(<em>photo above courtesy NSERC</em>)</p> <p>The BBVA Frontiers of Knowledge Award recognizes those who push back the frontiers of the known world by posing radically innovative questions that have led to new knowledge and surprising possibilities. &nbsp;Prizes are awarded annually in eight categories: &nbsp;&nbsp; &nbsp;</p> <ul> <li>Basic Sciences</li> <li>Biomedicine</li> <li>Ecology &amp; Conservation Biology</li> <li>Information &amp; Communication Technologies</li> <li>Economics</li> <li>Finance and Management</li> <li>Contemporary Music</li> <li>Climate Change &amp; Development Cooperation&nbsp;</li> </ul> <p>&nbsp;</p> <p><iframe allowfullscreen frameborder="0" height="315" src="https://www.youtube.com/embed/GTAEOQ8iarE?rel=0" width="560"></iframe></p> </div> <div class="field field--name-field-news-home-page-banner field--type-boolean field--label-above"> <div class="field__label">News home page banner</div> <div class="field__item">Off</div> </div> <div class="field field--name-field-picpath field--type-string field--label-above"> <div class="field__label">picpath</div> <div class="field__item">sites/default/files/2016-01-12-stephen-cook.jpg</div> </div> Tue, 12 Jan 2016 11:22:56 +0000 sgupta 7574 at