Prix Turing

Infos
Le Prix Turing ou 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’In
Prix Turing

Le Prix Turing ou 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.

Lauréats du prix

- 1966 Alan J. Perlis construction de compilateurs
- 1967 Maurice Wilkes Bibliothèque logicielle
- 1968 Richard Hamming méthodes numériques, systèmes de codage automatique, détection et correction d’erreurs
- 1969 Marvin Minsky intelligence artificielle
- 1970 James H. Wilkinson analyse numérique, algèbre linéraire, analyse d’erreur vers l’arrière
- 1971 John McCarthy intelligence artificielle
- 1972 Edsger Dijkstra la science et l’art des langages de programmation, langage ALGOL
- 1973 Charles Bachman technologie des bases de données
- 1974 Donald Knuth analyse des algorithmes et le design des langages de programmation
- 1975 Allen Newell et Herbert A. Simon intelligence artificielle, la psychologie de la compréhension humaine, traitement de liste
- 1976 Michael Rabin et Dana S. Scott machines non déterministes
- 1977 John Backus systèmes de programmation de haut niveau, procédures formelles pour la spécification des langages de programmation, langage FORTRAN)
- 1978 Robert Floyd méthodologies pour la création de logiciels efficaces et fiables
- 1979 Kenneth Iverson 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 definition et design des langages de programmation
- 1981 Edgar Frank Codd systèmes de gestion de bases de données, en particulier celles relationnelles
- 1982 Stephen Cook complexité du calcul informatique
- 1983 Kenneth Thompson et Dennis Ritchie théorie des systèmes d'exploitation, implémentation du système UNIX
- 1984 Niklaus Wirth développement des langages EULER, Algol W, MODULA et PASCAL
- 1985 Richard Karp théorie des algorithmes, NP-complétude
- 1986 John Hopcroft et Robert Tarjan création et analyse de structures de données
- 1987 John Cocke théorie des compilateurs, architecture des grands systèmes, invention des architectures RISC
- 1988 Ivan Sutherland Conception assistée par ordinateur (CAO)
- 1989 William Kahan analyse numérique
- 1990 Fernando Corbató application réparties, création de CTSS et Multics
- 1991 Robin Milner (LCF, ML, CCS)
- 1992 Butler Lampson environnements personnels distribués
- 1993 Juris Hartmanis et Richard Stearns théorie de la complexité
- 1994 Edward Feigenbaum et Raj Reddy systèmes d’Intelligence Artificielle de grande envergure
- 1995 Manuel Blum théorie de la complexité appliquée à la cryptographie et à la vérification de programmes
- 1996 Amir Pnueli logique temporelle et vérification de programmes et de systèmes
- 1997 Douglas Engelbart informatique interactive
- 1998 James Gray bases de données et traitement de transactions
- 1999 Frederick Brooks architecture des ordinateurs, systèmes d’exploitation et logiciels
- 2000 Andrew Yao théorie de la calculabilité, génération de nombres pseudo-aléatoires, cryptographie et complexité de communication
- 2001 Ole-Johan Dahl et Kristen Nygaard Programmation orientée objet et création des langages Simula I et Simula 67
- 2002 Ronald L. Rivest , Adi Shamir et Leonard M. Adleman cryptographie à clef publique et système RSA
- 2003 Alan Kay Programmation orientée objet et création du langage Smalltalk
- 2004 Vinton G. Cerf et Robert E. Kahn réseaux, TCP/IP
- 2005 Peter Naur 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 optimisation des compilateurs.

Classement par pays après 2006

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

Lien externe

- Turing, Prix
- Turing Catégorie:Évènement en informatique Catégorie:Informatique théorique bn:টুরিং পুরস্কার bs:Turingova nagrada cs:Turingova cena da:Turing Award de:Turing Award en:Turing Award eo:Premio Turing es:Premio Turing fa:جایزه تورینگ fi:Turing-palkinto he:פרס טיורינג hr:Turingova nagrada id:Penghargaan Turing it:Premio Turing ja:チューリング賞 ko:튜링상 lb:Turing-Präis mr:ट्युरिंग पारितोषिक nl:Turing Award no:Turing-prisen pl:Nagroda Turinga pt:Turing Award ru:Премия Тьюринга sk:Turingova cena sr:Тјурингова награда sv:Turingpriset tr:Turing Ödülü zh:图灵奖
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^