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 (Un théorème est une proposition qui peut être mathématiquement démontrée, c'est-à-dire une...) de Cook, qui prouve que le problème SAT est NP-complet.
1966 : A.J. Perlis - 1967 : Maurice Wilkes - 1968 : Richard Hamming (Richard Wesley Hamming, né le 11 février 1915 à Chicago (Illinois) et...) - 1969 : Marvin Minsky (Marvin Lee Minsky (né le 9 août 1927) est un scientifique américain. Il travaille dans le...) - 1970 : J.H. Wilkinson - 1971 : John McCarthy (John McCarthy (né le 4 septembre 1927, à Boston, Massachusetts) est le principal pionnier de...) - 1972 : Edsger Dijkstra (Edsger Wybe Dijkstra (prononciation: [ˈɛtsxər ˈwibə...) - 1973 : Charles Bachman - 1974 : Donald Knuth (Donald Ervin Knuth ([kəˈnuːθ]) (10 janvier 1938 à Milwaukee,...) - 1975 : Allen Newell et Herbert Simon (Herbert Alexander Simon (né le 15 juin 1916 à Milwaukee, Wisconsin, mort le 9 février 2001 à...) - 1976 : Michael Rabin (Michael Oser Rabin (né en 1931 à Breslau en Allemagne, maintenant Wrocław en...) et Dana S. Scott - 1977 : John Backus (John Backus (né le 3 décembre 1924 et mort le 17 mars 2007 à Ashland dans l'Oregon), est un...) - 1978 : Robert Floyd - 1979 : Kenneth Iverson (Kenneth Iverson (17 décembre, 1920, Camrose (Alberta Canada), 19 octobre, 2004, Toronto (Ontario...) - 1980 : Charles A. R. Hoare - 1981 : Edgar Frank Codd (Edgar Frank Codd (23 août 1923 - 18 avril 2003) fut un informaticien...) - 1982 : Stephen Cook (Stephen Arthur Cook (né en 1939 à Buffalo dans l'État de New-York) est un informaticien qui a...) - 1983 : Kenneth Thompson (Kenneth Thompson, informaticien américain, né en 1943 à La Nouvelle-Orléans. Concepteur du...) et Dennis Ritchie (Dennis MacAlistair Ritchie (9 septembre 1941) est un des pionniers de l'informatique...) - 1984 : Niklaus Wirth (Niklaus Wirth, professeur d'informatique et inventeur de plusieurs langages de programmation, est...) - 1985 : Richard Karp (Richard Karp, né en 1935 à Boston dans le Massachussetts, est un informaticien américain, connu...) - 1986 : John Hopcroft (John Hopcroft (7 octobre 1939 - ) est un informaticien américain, enseignant à l'université...) et Robert Tarjan - 1987 : John Cocke - 1988 : Ivan Sutherland - 1989 : William Kahan - 1990 : Fernando Corbató - 1991 : Robin Milner (Robin Milner (né en 1934) est un informaticien britannique. Diplômé de l'université de...) - 1992 : Butler Lampson (Butler W. Lampson, né le 23 décembre 1943 à Washington, est un ingénieur...) - 1993 : Juris Hartmanis et Richard Stearns (Richard Edwin Stearns (né le 5 juillet 1936) est un informaticien qui, avec Juris Hartmanis, a...) - 1994 : Edward Feigenbaum (Edward Feigenbaum (né le 20 janvier 1936 à Weehawken, États-Unis) est un informaticien...) et Raj Reddy - 1995 : Manuel Blum - 1996 : Amir Pnueli - 1997 : Douglas Engelbart (Le docteur Douglas C. Engelbart est né le 30 janvier 1925 dans l'Oregon.) - 1998 : James Gray - 1999 : Frederick Brooks (Frederick Brooks (19 avril 1931) est un ingénieur en logiciel et informaticien.) - 2000 : Andrew Yao - 2001 : Ole-Johan Dahl (Le professeur Ole-Johan Dahl (né à Mandal, en Norvège, le 12 octobre 1931 – mort le 29...) et Kristen Nygaard (Kristen Nygaard (27 août 1926 - 10 août 2002) était un mathématicien et informaticien...) - 2002 : Ronald Rivest (Ronald Rivest, (né en 1947, à New York, États-Unis) est un cryptologue américain. C'est l'un...), Adi Shamir (Adi Shamir est un cryptologue et professeur au département de mathématiques appliquées du...) et Leonard Adleman (Leonard Adleman (né le 31 décembre 1945), chercheur en informatique théorique et professeur en...) - 2003 : Alan Kay (Alan Kay est un informaticien américain. Il rejoint les laboratoires PARC de Xerox en 1970, où il...) - 2004 : Vinton G. Cerf et Robert E. Kahn - 2005 : Peter Naur - 2006 : Frances Allen - 2007 : Edmund Clarke, Allen Emerson et Joseph Sifakis |