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 algorithms 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 C. Antony 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
Lien externe
Page d'accueil
encyclopedie-enligne.com en page d'accueil