Prix Turing
{{#ifeq:||Un article de Ziki, l'encyclopédie libre.|Une page de Ziki, l'encyclopédie libre.}}
Modèle:Infobox Récompense Modèle:Voir homonymes
Le prix Turing ou Modèle:Langue, en hommage à Alan Turing (1912-1954), est attribué tous les ans depuis 1966 à une personne sélectionnée pour sa contribution de nature technique faite à la communauté informatique<ref>{{#invoke:Langue|indicationDeLangue}}Modèle:Lien web.</ref>. Les contributions doivent être d’une importance technique majeure et durable dans le domaine informatique.
Organisation et financement
La récompense est décernée par l’Modèle:Lang (ACM)<ref>{{#invoke:Langue|indicationDeLangue}}Modèle:Lien web.</ref>.
Cette récompense a été créée par l’Modèle:Lang. Elle est parfois considérée comme étant l'équivalent du prix Nobel en informatique<ref>Modèle:Article</ref>,<ref>Modèle:Lien web.</ref>. De 2007 à 2013, le lauréat de ce prix se voyait remettre la somme de Modèle:Unité (dont une partie offerte par Intel et Google).
Depuis 2014, la somme remise est d'un million de dollars, offerte par Google<ref>Modèle:Article</ref>.
Lauréats
| Année | Nom(s) | Motivation(s) |
|---|---|---|
| 1966 | Alan J. Perlis (Modèle:Nobr) | Construction de compilateurs. |
| 1967 | Maurice Wilkes (Modèle:Pays) | Bibliothèque logicielle. |
| 1968 | Richard Hamming (Modèle:Nobr) | Méthodes numériques, systèmes de codage automatique, détection et correction d’erreurs. |
| 1969 | Marvin Minsky (Modèle:Nobr) | Intelligence artificielle. |
| 1970 | James H. Wilkinson (Modèle:Pays) | Analyse numérique, algèbre linéaire, analyse d’erreur vers l’arrière. |
| 1971 | John McCarthy (Modèle:Nobr) | Intelligence artificielle. |
| 1972 | Edsger Dijkstra (Modèle:Pays) | La science et l’art des langages de programmation, langage ALGOL. |
| 1973 | Charles Bachman (Modèle:Nobr) | Technologie des bases de données. |
| 1974 | Donald Knuth (Modèle:Nobr) | Analyse des algorithmes et conception des langages de programmation |
| 1975 | Allen Newell (Modèle:Nobr) et Herbert A. Simon Modèle:Nobr | Intelligence artificielle, la psychologie de la compréhension humaine, traitement de liste. |
| 1976 | Michael Rabin (Modèle:Israel) et Dana S. Scott Modèle:Nobr | Machine non déterministe. Voir Machine de Turing non déterministe. |
| 1977 | John Backus (Modèle:Nobr) | Systèmes de programmation de haut niveau, procédures formelles pour la spécification des langages de programmation, langage FORTRAN. |
| 1978 | Robert Floyd (Modèle:Nobr) | Méthodologies pour la création de logiciels efficaces et fiables. |
| 1979 | Kenneth Iverson (Modèle:Pays) | Langages de programmation et notation mathématique, implémentation de systèmes interactifs, utilisation éducative d’APL, théorie et pratique du langage de programmation. |
| 1980 | Charles A. R. Hoare (Modèle:Pays) | Définition et conception des langages de programmation. |
| 1981 | Edgar Frank Codd (Modèle:Pays) | Systèmes de gestion de bases de données, en particulier bases de données relationnelles. |
| 1982 | Stephen Cook<ref>Modèle:Lien web.</ref> (Modèle:Nobr) | Complexité du calcul informatique. |
| 1983 | Kenneth Thompson (Modèle:Nobr) et Dennis Ritchie Modèle:Nobr | Théorie des systèmes d'exploitation, implémentation du système UNIX. |
| 1984 | Niklaus Wirth (Modèle:Pays) | Développement des langages EULER, Algol W, MODULA et PASCAL. |
| 1985 | Richard Karp (Modèle:Nobr) | Théorie des algorithmes, NP-complétude. |
| 1986 | John Hopcroft (Modèle:Nobr) et Robert Tarjan Modèle:Nobr | Création et analyse de structures de données. |
| 1987 | John Cocke (Modèle:Nobr) | Théorie des compilateurs, architecture des grands systèmes, invention des architectures RISC. |
| 1988 | Ivan Sutherland (Modèle:Nobr) | Conception assistée par ordinateur (CAO). |
| 1989 | William Kahan (Modèle:Pays) | Analyse numérique. |
| 1990 | Fernando Corbató (Modèle:Nobr) | Applications réparties, création de CTSS et Multics. |
| 1991 | Robin Milner (Modèle:Pays) | Système de preuves formelles Modèle:Lien, ML, Modèle:Lien. |
| 1992 | Butler Lampson (Modèle:Nobr) | Environnements personnels distribués. |
| 1993 | Juris Hartmanis (Modèle:Nobr) et Richard Stearns Modèle:Nobr | Théorie de la complexité (informatique théorique). |
| 1994 | Edward Feigenbaum (Modèle:Nobr) et Raj Reddy Modèle:Nobr | Systèmes d’intelligence artificielle de grande envergure. |
| 1995 | Manuel Blum (Modèle:Pays) | Théorie de la complexité appliquée à la cryptographie et à la vérification de programmes. |
| 1996 | Amir Pnueli (Modèle:Pays) | Logique temporelle et vérification de programmes et de systèmes. |
| 1997 | Douglas Engelbart (Modèle:Nobr) | Informatique interactive. |
| 1998 | James Gray (Modèle:Nobr) | Bases de données et traitement de transactions. |
| 1999 | Frederick Brooks (Modèle:Nobr) | Architecture des ordinateurs, systèmes d’exploitation et logiciels. |
| 2000 | Andrew Yao (Modèle:Pays) | Théorie de la calculabilité, génération de nombres pseudo-aléatoires, cryptographie et complexité de la communication. |
| 2001 | Ole-Johan Dahl (Modèle:Pays) et Kristen Nygaard Modèle:Nobr | Programmation orientée objet et création des langages Simula I et Simula 67. |
| 2002 | Ronald L. Rivest (Modèle:Nobr), Adi Shamir (Modèle:Pays) et Leonard M. Adleman (Modèle:Nobr) | Cryptographie à clef publique et système RSA. |
| 2003 | Alan Kay (Modèle:Nobr) | Programmation orientée objet et création du langage Smalltalk. |
| 2004 | Vinton G. Cerf (Modèle:Nobr) et Robert E. Kahn Modèle:Nobr | Réseaux, TCP/IP. |
| 2005 | Peter Naur (Modèle:Pays) | Pour des contributions fondamentales à la conception des langages de programmation et à la définition d'Algol 60, pour la conception des compilateurs et pour l'art et la pratique de la programmation informatique. |
| 2006 | Frances Allen (Modèle:Nobr) | Optimisation des compilateurs. |
| 2007 | Edmund M. Clarke (Modèle:Nobr), Allen Emerson Modèle:Nobr et Joseph Sifakis (Modèle:Pays/Modèle:Pays) | Pour leurs travaux sur le model checking. |
| 2008 | Barbara Liskov (Modèle:Nobr) | Pour la conception de langages de programmation et la méthodologie polymorphe. |
| 2009 | Charles P. Thacker (Modèle:Nobr) | Pour le travail effectué tout au long de sa carrière dont le Xerox Alto. |
| 2010 | Leslie Valiant (Modèle:Pays) | Pour le travail en apprentissage (notamment l'apprentissage PAC), en théorie de la complexité, en calcul distribué et parallèle. |
| 2011 | Judea Pearl (Modèle:Pays/Modèle:Nobr) | Pour des contributions fondamentales à l'intelligence artificielle par le développement de l'analyse probabiliste et du raisonnement causal. |
| 2012 | Silvio Micali (Modèle:Pays/Modèle:Nobr) et Shafi Goldwasser (Modèle:Pays/Modèle:Nobr) | Pour leur travaux fondateurs sur la cryptologie et la vérification de preuve, basés de la théorie de la complexité. En particulier l'introduction des systèmes de preuves interactives (qui ont mené au théorème PCP). |
| 2013 | Leslie Lamport (Modèle:Nobr) | Pour ses contributions fondamentales théoriques et appliquées dans les systèmes distribués et concurrents, notamment en inventant des concepts tels que la causalité et les horloges logiques, […] et la consistance séquentielle<ref>Prix Turing 2013.</ref>. |
| 2014 | Michael Stonebraker (Modèle:Nobr) | Contributions fondamentales pour les systèmes de gestions de bases de données (SGBD)<ref>Prix Turing 2014.</ref>. Inventeur de PostgreSQL. |
| 2015 | Whitfield Diffie<ref>Modèle:Lien web.</ref> (Modèle:Nobr) et Martin Hellman<ref>Modèle:Lien web.</ref> Modèle:Nobr | Pour leurs contributions à la cryptographie contemporaine (créateurs de la cryptographie asymétrique). |
| 2016 | Tim Berners-Lee (Modèle:Pays) | Pour avoir inventé le World Wide Web, le premier navigateur web et les Modèle:Lh et algorithmes permettant le passage à l'échelle du Web<ref>Sir Tim Berners-Lee, Inventor of the World Wide Web, ACM A.M. Turing Award</ref>. |
| 2017 | David Patterson (Modèle:Nobr) et John Hennessy Modèle:Nobr | Pour avoir été les pionniers d'une approche systématique et quantitative de la conception et de l'évaluation d'architectures informatiques ayant un impact durable sur l'industrie des microprocesseurs<ref>Modèle:Article</ref>. |
| 2018 | Yann Le Cun (Modèle:Pays), Yoshua Bengio (Modèle:Pays) et Geoffrey Hinton (Modèle:Pays) | Pour les percées conceptuelles et techniques qui ont fait des réseaux neuronaux profonds une composante essentielle de l'informatique<ref>Modèle:Article</ref>. |
| 2019 | Patrick Hanrahan (Modèle:Nobr) et Edwin Catmull Modèle:Nobr | Pour leurs contributions fondamentales à l'infographie tridimensionnelle et l'impact révolutionnaire de ces techniques sur les effets spéciaux numériques dans la réalisation de films et autres applications<ref>Modèle:Lien web.</ref>. |
| 2020 | Alfred Aho (Modèle:Pays) et Jeffrey Ullman Modèle:Nobr | Pour les algorithmes fondamentaux et la théorie sous-jacente à l'implémentation des langages de programmation et pour avoir synthétisé ces résultats et ceux d'autres dans leurs livres très influents, qui ont formé des générations d'informaticiens<ref>Modèle:Lien web.</ref>. |
| 2021 | Jack Dongarra Modèle:Nobr | Pour ses contributions innovantes dans les algorithmes et bibliothèques numériques permettant aux logiciels de calcul haute performance de suivre le progrès exponentiel des architectures matérielles durant plus de Modèle:Nobr<ref>Modèle:Lien web.</ref>. |
| 2022 | Robert Metcalfe (Modèle:Nobr) | Pour l'invention, la normalisation et la commercialisation d'Ethernet<ref>Modèle:Lien web.</ref>. |
Remarques générales
Le prix a été attribué de très nombreuses fois à des chercheurs américains. Le prix Gödel et le prix Donald E. Knuth sont deux autres prix remis par l'ACM pour récompenser des travaux en informatique.
