AccueilFrChercher

Prix Turing
Image associée à la récompense
Statue d'Alan Turing à Bletchley Park.

Nom original ACM Turing Award
Organisateur Association for Computing Machinery
Date de création 1966

Le prix Turing ou ACM Turing Award, 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[1]. 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’Association for Computing Machinery (ACM)[2].

Cette récompense a été créée par l’InterTrust Technologies Corporation’s Strategic Technologies and Architectural Research Laboratory (STAR Lab). Elle est parfois considérée comme étant l'équivalent du prix Nobel en informatique[3],[4]. De 2007 à 2013, le lauréat de ce prix se voyait remettre la somme de 250 000 USD (dont une partie offerte par Intel et Google).

Depuis 2014, la somme remise est d'un million de dollars, offerte par Google[5].

Lauréats

Liste des lauréats
Année Nom(s) Motivation(s)
1966 Alan J. Perlis (Drapeau des États-Unis États-Unis) Construction de compilateurs.
1967 Maurice Wilkes (Drapeau du Royaume-Uni Royaume-Uni) Bibliothèque logicielle.
1968 Richard Hamming (Drapeau des États-Unis États-Unis) Méthodes numériques, systèmes de codage automatique, détection et correction d’erreurs.
1969 Marvin Minsky (Drapeau des États-Unis États-Unis) Intelligence artificielle.
1970 James H. Wilkinson (Drapeau du Royaume-Uni Royaume-Uni) Analyse numérique, algèbre linéaire, analyse d’erreur vers l’arrière.
1971 John McCarthy (Drapeau des États-Unis États-Unis) Intelligence artificielle.
1972 Edsger Dijkstra (Drapeau des Pays-Bas Pays-Bas) La science et l’art des langages de programmation, langage ALGOL.
1973 Charles Bachman (Drapeau des États-Unis États-Unis) Technologie des bases de données.
1974 Donald Knuth (Drapeau des États-Unis États-Unis) Analyse des algorithmes et conception des langages de programmation
1975 Allen Newell (Drapeau des États-Unis États-Unis) et Herbert A. Simon (Drapeau des États-Unis États-Unis) Intelligence artificielle, la psychologie de la compréhension humaine, traitement de liste.
1976 Michael Rabin (Drapeau d’Israël Israël) et Dana S. Scott (Drapeau des États-Unis États-Unis) Machine non déterministe. Voir Machine de Turing non déterministe.
1977 John Backus (Drapeau des États-Unis États-Unis) Systèmes de programmation de haut niveau, procédures formelles pour la spécification des langages de programmation, langage FORTRAN.
1978 Robert Floyd (Drapeau des États-Unis États-Unis) Méthodologies pour la création de logiciels efficaces et fiables.
1979 Kenneth Iverson (Drapeau du Canada Canada) 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 (Drapeau du Royaume-Uni Royaume-Uni) Définition et conception des langages de programmation.
1981 Edgar Frank Codd (Drapeau du Royaume-Uni Royaume-Uni) Systèmes de gestion de bases de données, en particulier bases de données relationnelles.
1982 Stephen Cook[6] (Drapeau des États-Unis États-Unis) Complexité du calcul informatique.
1983 Kenneth Thompson (Drapeau des États-Unis États-Unis) et Dennis Ritchie (Drapeau des États-Unis États-Unis) Théorie des systèmes d'exploitation, implémentation du système UNIX.
1984 Niklaus Wirth (Drapeau de la Suisse Suisse) Développement des langages EULER, Algol W, MODULA et PASCAL.
1985 Richard Karp (Drapeau des États-Unis États-Unis) Théorie des algorithmes, NP-complétude.
1986 John Hopcroft (Drapeau des États-Unis États-Unis) et Robert Tarjan (Drapeau des États-Unis États-Unis) Création et analyse de structures de données.
1987 John Cocke (Drapeau des États-Unis États-Unis) Théorie des compilateurs, architecture des grands systèmes, invention des architectures RISC.
1988 Ivan Sutherland (Drapeau des États-Unis États-Unis) Conception assistée par ordinateur (CAO).
1989 William Kahan (Drapeau du Canada Canada) Analyse numérique.
1990 Fernando Corbató (Drapeau des États-Unis États-Unis) Applications réparties, création de CTSS et Multics.
1991 Robin Milner (Drapeau du Royaume-Uni Royaume-Uni) Système de preuves formelles Logic for Computable Functions (en), ML, Calcul de systèmes communicants (CCS) (en).
1992 Butler Lampson (Drapeau des États-Unis États-Unis) Environnements personnels distribués.
1993 Juris Hartmanis (Drapeau des États-Unis États-Unis) et Richard Stearns (Drapeau des États-Unis États-Unis) Théorie de la complexité (informatique théorique).
1994 Edward Feigenbaum (Drapeau des États-Unis États-Unis) et Raj Reddy (Drapeau de l'Inde Inde) Systèmes d’intelligence artificielle de grande envergure.
1995 Manuel Blum (Drapeau du Venezuela Venezuela) Théorie de la complexité appliquée à la cryptographie et à la vérification de programmes.
1996 Amir Pnueli (Drapeau d’Israël Israël) Logique temporelle et vérification de programmes et de systèmes.
1997 Douglas Engelbart (Drapeau des États-Unis États-Unis) Informatique interactive.
1998 James Gray (Drapeau des États-Unis États-Unis) Bases de données et traitement de transactions.
1999 Frederick Brooks (Drapeau des États-Unis États-Unis) Architecture des ordinateurs, systèmes d’exploitation et logiciels.
2000 Andrew Yao (Drapeau de la République populaire de Chine Chine) Théorie de la calculabilité, génération de nombres pseudo-aléatoires, cryptographie et complexité de la communication.
2001 Ole-Johan Dahl (Drapeau de la Norvège Norvège) et Kristen Nygaard (Drapeau de la Norvège Norvège) Programmation orientée objet et création des langages Simula I et Simula 67.
2002 Ronald L. Rivest (Drapeau des États-Unis États-Unis), Adi Shamir (Drapeau d’Israël Israël) et Leonard M. Adleman (Drapeau des États-Unis États-Unis) Cryptographie à clef publique et système RSA.
2003 Alan Kay (Drapeau des États-Unis États-Unis) Programmation orientée objet et création du langage Smalltalk.
2004 Vinton G. Cerf (Drapeau des États-Unis États-Unis) et Robert E. Kahn (Drapeau des États-Unis États-Unis) Réseaux, TCP/IP.
2005 Peter Naur (Drapeau du Danemark Danemark) 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 (Drapeau des États-Unis États-Unis) Optimisation des compilateurs.
2007 Edmund M. Clarke (Drapeau des États-Unis États-Unis), Allen Emerson (Drapeau des États-Unis États-Unis) et Joseph Sifakis (Drapeau de la Grèce Grèce/Drapeau de la France France) Pour leurs travaux sur le model checking.
2008 Barbara Liskov (Drapeau des États-Unis États-Unis) Pour la conception de langages de programmation et la méthodologie polymorphe.
2009 Charles P. Thacker (Drapeau des États-Unis États-Unis) Pour le travail effectué tout au long de sa carrière dont le Xerox Alto.
2010 Leslie Valiant (Drapeau du Royaume-Uni Royaume-Uni) Pour le travail en apprentissage (notamment l'apprentissage PAC), en théorie de la complexité, en calcul distribué et parallèle.
2011 Judea Pearl (Drapeau d’Israël Israël/Drapeau des États-Unis États-Unis) Pour des contributions fondamentales à l'intelligence artificielle par le développement de l'analyse probabiliste et du raisonnement causal.
2012 Silvio Micali (Drapeau de l'Italie Italie/Drapeau des États-Unis États-Unis) et Shafi Goldwasser (Drapeau d’Israël Israël/Drapeau des États-Unis États-Unis) 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 (Drapeau des États-Unis États-Unis) 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[7].
2014 Michael Stonebraker (Drapeau des États-Unis États-Unis) Contributions fondamentales pour les systèmes de gestions de bases de données (SGBD)[8]. Inventeur de PostgreSQL.
2015 Whitfield Diffie[9] (Drapeau des États-Unis États-Unis) et Martin Hellman[10] (Drapeau des États-Unis États-Unis) Pour leurs contributions à la cryptographie contemporaine (créateurs de la cryptographie asymétrique).
2016 Tim Berners-Lee (Drapeau du Royaume-Uni Royaume-Uni) Pour avoir inventé le World Wide Web, le premier navigateur web et les protocoles Page d'aide sur l'homonymie et algorithmes permettant le passage à l'échelle du Web[11].
2017 David Patterson (Drapeau des États-Unis États-Unis) et John Hennessy (Drapeau des États-Unis États-Unis) 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[12].
2018 Yann Le Cun (Drapeau de la France France), Yoshua Bengio (Drapeau du Canada Canada) et Geoffrey Hinton (Drapeau du Canada Canada) Pour les percées conceptuelles et techniques qui ont fait des réseaux neuronaux profonds une composante essentielle de l'informatique[13].
2019 Patrick Hanrahan (Drapeau des États-Unis États-Unis) et Edwin Catmull (Drapeau des États-Unis États-Unis) 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[14].
2020 Alfred Aho (Drapeau du Canada Canada) et Jeffrey Ullman (Drapeau des États-Unis États-Unis) 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[15].
2021 Jack Dongarra (Drapeau des États-Unis États-Unis) 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 40 ans[16].
2022 Robert Metcalfe (Drapeau des États-Unis États-Unis) Pour l'invention, la normalisation et la commercialisation d'Ethernet[17].

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.

Notes et références

  1. (en)William L. Hosch, « Turing Award », sur Britannica (consulté le ).
  2. (en)« A.M. Turing Award », sur acm.org (consulté le ).
  3. « Yann LeCun, co-lauréat du prix Turing », La Croix, (ISSN 0242-6056, lire en ligne, consulté le )
  4. « Prix Turing », CNRS-Talents.
  5. Tech Times, « Google Turns 'Nobel Prize' of Computer Science into $1 Million Award », Tech Times, (lire en ligne, consulté le )
  6. « Prolongation de la période de consultation sur la politique de gestion des données de recherche. », sur Conseil de recherches en sciences naturelles et en génie du Canada (CRSNG) (consulté le ).
  7. Prix Turing 2013.
  8. Prix Turing 2014.
  9. « Cryptography Pioneer Whitfield Diffie Receives 2015 ACM A.M. Turing Award », sur ACM.
  10. « Cryptography Pioneer Martin Hellman Receives 2015 ACM A.M. Turing Award », sur ACM.
  11. Sir Tim Berners-Lee, Inventor of the World Wide Web, ACM A.M. Turing Award
  12. [Israel 2018] (en) Brett Israel, « David Patterson, pioneer of modern computer architecture, receives Turing Award » David Patterson, pionnier de l'architecture informatique moderne, reçoit le prix Turing »], Berkeley News, Université de Californie à Berkeley, (lire en ligne)
  13. « Yann LeCun, lauréat du prix Turing : « L’IA continue de faire des progrès fulgurants » », Le Monde, (lire en ligne, consulté le )
  14. (en) « 2019 ACM A.M. Turing Award Laureates », sur awards.acm.org (consulté le ).
  15. (en) « 2020 ACM A.M. Turing Award Laureates », sur awards.acm.org, (consulté le ).
  16. (en) « 2021 ACM A.M. Turing Award Laureate », sur awards.acm.org, (consulté le ).
  17. (en) « 2022 ACM A.M. Turing Award Laureates », sur awards.acm.org (consulté le ).

Voir aussi

Liens externes