Prix Turing - Définition
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
La liste des auteurs de cet article est disponible ici.
Introduction
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 |
| 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 |
| 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) | 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 |
Populaires