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 le InterTrust Technologies Corporation’s Strategic Technologies and Architectural Research Laboratory (STAR Lab).
Bénéficiaires du prix
- 1966 A.J. Perlis construction de Compilateur
- 1967 Maurice V. Wilkes Bibliothèque logicielle
- 1968 Richard Hamming méthodes numérique, systèmes de codage automatique, détection et correction d’erreur
- 1969 Marvin Minsky intelligence artificielle
- 1970 J.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 W. Bachman technologie des bases de données
- 1974 Donald E. 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 O. Rabin et Dana S. Scott machines non déterministe
- 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 W. Floyd methodologies pour la création de logiciels efficace et fiable
- 1979 Kenneth E. Iverson langages de programmation et notation mathématique, implémentation de systèmes interactifs, utilisation éducative d’APL, théorie et pratique du la langage de programmation
- 1980 Charles A. R. Hoare definition et design des langages de programmation
- 1981 Edgar F. Codd systèmes de gestion de bases de données, en particulier celles relationelles
- 1982 Stephen A. 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 M. 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
- 1989 William (Velvel) Kahan analyse numérique
- 1990 Fernando J. Corbató application réparties, création de CTSS et Multics
- 1991 Robin Milner (LCF, ML, CCS)
- 1992 Butler W. Lampson environnements personnels distribués
- 1993 Juris Hartmanis et Richard E. 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érifiaction 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 P. Brooks, Jr. architecture des ordinateurs, systèmes d’exploitation et logiciels
- 2000 Andrew Chi-Chih 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