Prix Turing.html



Pour les articles homonymes, voir Turing (homonymie).

Le Prix Turing ou ACM Turing Award, en hommage à Alan Mathison 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.

modifier Lauréats du prix

• 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 design 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 ( Allemagne) 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)
• 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 design 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) théorie de la complexité
• 1994 Edward Feigenbaum ( États-Unis) et Raj Reddy ( Inde) systèmes d’intelligence artificielle de grande envergure
• 1995 Manuel Blum ( Venezuela) théorie de la complexité appliquée à la cryptographie et à la vérification de programmes
• 1996 Amir Pnueli ( Israël) logique temporelle et vérification de programmes et de systèmes
• 1997 Douglas Engelbart ( États-Unis) informatique interactive
• 1998 James Gray ( États-Unis) bases de données et traitement de transactions
• 1999 Frederick Brooks ( États-Unis) architecture des ordinateurs, systèmes d’exploitation et logiciels
• 2000 Andrew Yao ( Chine) théorie de la calculabilité, génération de nombres pseudo-aléatoires, cryptographie et complexité de communication
• 2001 Ole-Johan Dahl ( Norvège) et Kristen Nygaard ( Norvège) 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)(Grec) pour leurs travaux sur le model checking.

modifier Classement par pays

Comptes présentés à l'issue de la remise du prix Turing 2007 :

• 35 : États-Unis d'Amérique.
• 5  : Royaume-Uni.
• 2  : Canada, Israël, Norvège.
• 1  : Allemagne, République populaire de Chine, Danemark, France, Inde, Pays-Bas, Suisse, Venezuela.

modifier Lien externe

• (en) ACM : page Web du prix Turing.