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. Les contributions doivent être d’une importance technique majeure et durable dans le domaine informatique.
La récompense est décernée par l’Association for Computing Machinery (ACM).
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 de l'informatique. Le lauréat de ce prix se voit remettre la somme de 250 000 USD, dont une partie est offerte par Intel et Google.
Le prix Gödel et le prix Knuth sont deux autres prix remis par l'ACM pour récompenser des travaux en informatique.
Lauréats
Année
de remise
du prix
Nom(s)
Motivation(s)
1966
Alan J. Perlis ( États-Unis)
construction de compilateurs
1967
Maurice Wilkes ( Royaume-Uni)
Bibliothèque logicielle
1968
Richard Hamming ( États-Unis)
méthodes numériques, systèmes de codage automatique, détection et correction d’erreurs
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 ( Royaume-Uni)
définition et conception des langages de programmation
1981
Edgar Frank Codd ( Royaume-Uni)
systèmes de gestion de bases de données, en particulier bases de données relationnelles
1982
Stephen Cook ( États-Unis)
complexité du calcul informatique
1983
Kenneth Thompson ( États-Unis) et Dennis Ritchie ( États-Unis)
théorie des systèmes d'exploitation, implémentation du système UNIX
1984
Niklaus Wirth ( Suisse)
développement des langages EULER, Algol W, MODULA et PASCAL
1985
Richard Karp ( États-Unis)
théorie des algorithmes, NP-complétude
1986
John Hopcroft ( États-Unis) et Robert Tarjan ( États-Unis)
création et analyse de structures de données
1987
John Cocke ( États-Unis)
théorie des compilateurs, architecture des grands systèmes, invention des architectures RISC
1988
Ivan Sutherland ( États-Unis)
Conception assistée par ordinateur (CAO)
1989
William Kahan ( Canada)
analyse numérique
1990
Fernando Corbató ( États-Unis)
applications réparties, création de CTSS et Multics
1991
Robin Milner ( Royaume-Uni)
LCF, ML, CCS
1992
Butler Lampson ( États-Unis)
environnements personnels distribués
1993
Juris Hartmanis ( États-Unis) et Richard Stearns ( États-Unis)
Programmation orientée objet et création du langage Smalltalk
2004
Vinton G. Cerf ( États-Unis) et Robert E. Kahn ( États-Unis)
réseaux, TCP/IP
2005
Peter Naur ( 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 ( États-Unis)
optimisation des compilateurs
2007
Edmund Clarke ( États-Unis), Allen Emerson ( États-Unis) et Joseph Sifakis ( France)
pour leurs travaux sur le model checking.
2008
Barbara Liskov ( États-Unis)
pour la conception de langages de programmation et la méthodologie polymorphe
2009
Charles P. Thacker ( États-Unis)
Pour le travail effectué tout au long de sa carrière dont le Xerox Alto
Classement par pays
Comptes présentés à l'issue de la remise du prix Turing 2009 :
