Stephen Cook - Définition
Stephen Arthur Cook (né en 1939 à Buffalo dans l'État de New-York) est un informaticien qui a formalisé la notion de NP-complétude.
Il est l'auteur de la publication The Complexity of Theorem Proving Procedures dans laquelle il établit le théorème de Cook, qui prouve que le problème SAT est NP-complet.
Distinctions
- 1982 - Turing Award
- 1984 - Membre de la Société royale du Canada
- 1997 - Prix Izaak-Walton-Killam
- 1999 - Prix CRM-Fields-PIMS
- 2005 - Prix d'excellence du CRSNG
|
1966 : A.J. Perlis - 1967 : Maurice Wilkes - 1968 : Richard Hamming - 1969 : Marvin Minsky - 1970 : J.H. Wilkinson - 1971 : John McCarthy - 1972 : Edsger Dijkstra - 1973 : Charles Bachman - 1974 : Donald Knuth - 1975 : Allen Newell et Herbert Simon - 1976 : Michael Rabin et Dana S. Scott - 1977 : John Backus - 1978 : Robert Floyd - 1979 : Kenneth Iverson - 1980 : Charles A. R. Hoare - 1981 : Edgar Frank Codd - 1982 : Stephen Cook - 1983 : Kenneth Thompson et Dennis Ritchie - 1984 : Niklaus Wirth - 1985 : Richard Karp - 1986 : John Hopcroft et Robert Tarjan - 1987 : John Cocke - 1988 : Ivan Sutherland - 1989 : William Kahan - 1990 : Fernando Corbató - 1991 : Robin Milner - 1992 : Butler Lampson - 1993 : Juris Hartmanis et Richard Stearns - 1994 : Edward Feigenbaum et Raj Reddy - 1995 : Manuel Blum - 1996 : Amir Pnueli - 1997 : Douglas Engelbart - 1998 : James Gray - 1999 : Frederick Brooks - 2000 : Andrew Yao - 2001 : Ole-Johan Dahl et Kristen Nygaard - 2002 : Ronald Rivest, Adi Shamir et Leonard Adleman - 2003 : Alan Kay - 2004 : Vinton G. Cerf et Robert E. Kahn - 2005 : Peter Naur - 2006 : Frances Allen - 2007 : Edmund Clarke, Allen Emerson et Joseph Sifakis |
