Le prix Turing ou , 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.. 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’ (ACM)..
Cette récompense a été créée par l’. De 2007 à 2013, le lauréat de ce prix se voyait remettre la somme de (dont une partie offerte par Intel et Google). Depuis 2014, la somme remise est d'un million de dollars, offerte par Google.
Elle est parfois considérée comme étant l'équivalent du prix Nobel en informatique..
Liste des lauréats
+ Liste des lauréats Année Nom(s) Motivation(s) 1966 Alan J. Perlis () Construction de compilateurs. 1967 Maurice Wilkes () Bibliothèque logicielle. 1968 Richard Hamming () Méthodes numériques, systèmes de codage automatique, détection et correction d’erreurs. 1969 Marvin Minsky () Intelligence artificielle. 1970 James H. Wilkinson () Analyse numérique, algèbre linéaire, analyse d’erreur vers l’arrière. 1971 John McCarthy () Intelligence artificielle. 1972 Edsger Dijkstra () La science et l’art des langages de programmation, langage ALGOL. 1973 Charles Bachman () Technologie des bases de données. 1974 Donald Knuth () Analyse des algorithmes et conception des langages de programmation 1975 Allen Newell () et Herbert A. Simon Intelligence artificielle, la psychologie de la compréhension humaine, traitement de liste. 1976 Michael Rabin () et Dana S. Scott Machine non déterministe. Voir Machine de Turing non déterministe. 1977 John Backus () Systèmes de programmation de haut niveau, procédures formelles pour la spécification des langages de programmation, langage FORTRAN. 1978 Robert Floyd () Méthodologies pour la création de logiciels efficaces et fiables. 1979 Kenneth Iverson () 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 () Définition et conception des langages de programmation. 1981 Edgar Frank Codd () Systèmes de gestion de bases de données, en particulier bases de données relationnelles. 1982 Stephen Cook. () Complexité du calcul informatique. 1983 Kenneth Thompson () et Dennis Ritchie Théorie des systèmes d'exploitation, implémentation du système UNIX. 1984 Niklaus Wirth () Développement des langages EULER, Algol W, MODULA et PASCAL. 1985 Richard Karp () Théorie des algorithmes, NP-complétude. 1986 John Hopcroft () et Robert Tarjan Création et analyse de structures de données. 1987 John Cocke () Théorie des compilateurs, architecture des grands systèmes, invention des architectures RISC. 1988 Ivan Sutherland () Conception assistée par ordinateur (CAO). 1989 William Kahan () Analyse numérique. 1990 Fernando Corbató () Applications réparties, création de CTSS et Multics. 1991 Robin Milner () Système de preuves formelles , ML, . 1992 Butler Lampson () Environnements personnels distribués. 1993 Juris Hartmanis () et Richard Stearns Théorie de la complexité (informatique théorique). 1994 Edward Feigenbaum () et Raj Reddy Systèmes d’intelligence artificielle de grande envergure. 1995 Manuel Blum () Théorie de la complexité appliquée à la cryptographie et à la vérification de programmes. 1996 Amir Pnueli () Logique temporelle et vérification de programmes et de systèmes. 1997 Douglas Engelbart () Informatique interactive. 1998 James Gray () Bases de données et traitement de transactions. 1999 Frederick Brooks () Architecture des ordinateurs, systèmes d’exploitation et logiciels. 2000 Andrew Yao () Théorie de la calculabilité, génération de nombres pseudo-aléatoires, cryptographie et complexité de la communication. 2001 Ole-Johan Dahl () et Kristen Nygaard Programmation orientée objet et création des langages Simula I et Simula 67. 2002 Ronald L. Rivest (), Adi Shamir () et Leonard M. Adleman () Cryptographie à clef publique et système RSA. 2003 Alan Kay () Programmation orientée objet et création du langage Smalltalk. 2004 Vinton G. Cerf () et Robert E. Kahn Réseaux, TCP/IP. 2005 Peter Naur () 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 () Optimisation des compilateurs. 2007 Edmund M. Clarke (), Allen Emerson et Joseph Sifakis (/) Pour leurs travaux sur le model checking. 2008 Barbara Liskov () Pour la conception de langages de programmation et la méthodologie polymorphe. 2009 Charles P. Thacker () Pour le travail effectué tout au long de sa carrière dont le Xerox Alto. 2010 Leslie Valiant () Pour le travail en apprentissage (notamment l'apprentissage PAC), en théorie de la complexité, en calcul distribué et parallèle. 2011 Judea Pearl (/) Pour des contributions fondamentales à l'intelligence artificielle par le développement de l'analyse probabiliste et du raisonnement causal. 2012 Silvio Micali (/) et Shafi Goldwasser (/) Pour leurs 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 () 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 cohérence séquentiellePrix Turing 2013.. 2014Michael Stonebraker () Contributions fondamentales pour les systèmes de gestions de bases de données (SGBD)Prix Turing 2014.. Inventeur de PostgreSQL. 2015Whitfield Diffie. () et Martin Hellman. Pour leurs contributions à la cryptographie contemporaine (créateurs de la cryptographie asymétrique). 2016Tim Berners-Lee () Pour avoir inventé le World Wide Web, le premier navigateur web et les protocoles et algorithmes permettant le passage à l'échelle du WebSir Tim Berners-Lee, Inventor of the World Wide Web, ACM A.M. Turing Award. 2017David Patterson () et John Hennessy 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.2018Yann Le Cun (), Yoshua Bengio () et Geoffrey Hinton ()Pour les percées conceptuelles et techniques qui ont fait des réseaux neuronaux profonds une composante essentielle de l'informatique.2019Patrick Hanrahan () et Edwin Catmull 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..2020Alfred Aho () et Jeffrey Ullman 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..2021Jack Dongarra 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 ..2022Robert Metcalfe Pour l'invention, la normalisation et la commercialisation d'Ethernet..2023Avi Wigderson Pour avoir modifié notre compréhension du rôle du hasard dans l'informatique..2024Andrew Barto et Richard Sutton ()Pour avoir développé les fondations conceptuelles et algorithmiques de l'apprentissage par renforcement.2025Charles H. Bennett et Gilles Brassard ()Pour leur rôle essentiel dans l'établissement des fondations de la science de l'information quantique et dans la transformation des communications sécurisées et du calcul..
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
Voir aussi
Liens externes
Article sur le site du CNRS Articles connexes Liste de prix en informatique
* Catégorie:Distinction fondée en 1966