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
1969
Marvin Minsky ( États-Unis)
intelligence artificielle
1970
James H. Wilkinson ( Royaume-Uni)
analyse numérique, algèbre linéaire, analyse d’erreur vers l’arrière
1971
John McCarthy ( États-Unis)
intelligence artificielle
1972
Edsger Dijkstra ( Pays-Bas)
la science et l’art des langages de programmation, langage ALGOL
1973
Charles Bachman ( États-Unis)
technologie des bases de données
1974
Donald Knuth ( États-Unis)
analyse des algorithmes et conception des langages de programmation
1975
Allen Newell ( États-Unis) et Herbert A. Simon ( États-Unis)
intelligence artificielle, la psychologie de la compréhension humaine, traitement de liste
1976
Michael Rabin ( Israël) et Dana S. Scott ( États-Unis)
machines non déterministes
1977
John Backus ( États-Unis)
systèmes de programmation de haut niveau, procédures formelles pour la spécification des langages de programmation, langage FORTRAN
méthodologies pour la création de logiciels efficaces et fiables
1979
Kenneth Iverson ( 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 ( 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
Programmation orientée objet et création des langages Simula I et Simula 67
2002
Ronald L. Rivest ( États-Unis), Adi Shamir ( Israël) et Leonard M. Adleman ( États-Unis)
cryptographie à clef publique et système RSA
2003
Alan Kay ( É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 :
