Recherche

Le professeur Cook est sans aucun doute le chercheur en informatique le plus connu au Canada et fait partie de l'élite mondiale. Au cours de son extraordinaire carrière de 40 ans, le professeur Steve Cook a fait preuve d'excellence et d'impact sur de nombreux aspects de l'informatique théorique, sur la formation de la prochaine génération d'informaticiens et sur la société dans son ensemble. Cook a également établi la désormais célèbre question P versus NP, à savoir si tous les problèmes de décision qui sont efficacement vérifiables (dans NP) peuvent ou non être efficacement calculables (dans P) et a conjecturé (ce qui est maintenant connu comme l'hypothèse de Cook) que P n'est pas égal à NP. La question P versus NP est l'un des sept "Millennium Prize Problems" (problèmes du prix du millénaire) répertoriés par le Clay Mathematics Institute (www.claymath.org), et est largement considérée comme l'un des trois principaux problèmes ouverts en mathématiques aujourd'hui, si ce n'est le plus important. Il a continué à jouer un rôle majeur dans l'évolution de la complexité informatique. Dans les années 1980, il a formulé des idées clés pour le développement d'une théorie solide de la complexité de l'informatique parallèle. Plus récemment, l'un des principaux axes de travail de M. Cook a été la logique formelle, sa relation avec la sémantique des programmes et son application à la notion de preuves succinctes. Il a notamment lancé le domaine de recherche de la complexité des preuves.

L'enseignement

Cook est un enseignant spectaculaire, un excellent conseiller et un leader général au sein des communautés mathématique et informatique. Il a conseillé un grand nombre des meilleurs doctorants et post-doctorants en informatique théorique du monde. Sur les 29 doctorants du professeur Cook (et ce n'est pas fini), la plupart ont poursuivi leur carrière avec succès, obtenant des postes dans certaines des universités les plus prestigieuses du monde.

Reconnaissance

Cook détient le seul prix Turing au Canada, qui lui a été décerné en 1982. Il est également membre de l'American Academy of Arts and Science, de la Société royale du Canada, de la Royal Society (Londres) et de la National Academy of Sciences (États-Unis). Il est lauréat du prix d'excellence en recherche du CRSNG, lauréat du prix John L. Synge de la Société royale du Canada et titulaire de divers autres prix et distinctions. Il a également été récemment élu membre de l'Ordre de l'Ontario et officier de l'Ordre du Canada.