Prix Turing

Un article de Wikipédia, l'encyclopédie libre.

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.