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.
systèmes de programmation de haut niveau, procédures formelles pour la spécification des langages de programmation, langage FORTRAN
1978
Robert Floyd ( États-Unis)
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
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)
