Prix Turing - Définition et Explications

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 (L´informatique - contraction d´information et automatique - est le domaine...). 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 (Google, Inc. est une société fondée le 7 septembre 1998 dans la Silicon Valley en Californie par...).

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

Liste des lauréats
Année (Une année est une unité de temps exprimant la durée entre deux occurrences d'un évènement lié...)
de remise
du prix
Nom(s) Motivation(s)
1966 Alan J. Perlis (États-Unis États-Unis) construction de compilateurs
1967 Maurice Wilkes (Royaume-Uni Royaume-Uni) Bibliothèque logicielle (En informatique, une bibliothèque ou librairie[1] logicielle (ou encore, bibliothèque de...)
1968 Richard Hamming (Richard Wesley Hamming (11 février 1915 à Chicago - 7 janvier 1998 Monterey (Californie)) est un...) (États-Unis États-Unis) méthodes numériques, systèmes de codage (De façon générale un codage permet de passer d'une représentation des...) automatique (L'automatique fait partie des sciences de l'ingénieur. Cette discipline traite de la...), détection et correction d’erreurs
1969 Marvin Minsky (Marvin Lee Minsky (né le 9 août 1927) est un scientifique américain. Il travaille dans le...) (États-Unis États-Unis) intelligence artificielle (L'intelligence artificielle ou informatique cognitive est la « recherche de moyens...)
1970 James H. Wilkinson (Royaume-Uni Royaume-Uni) analyse numérique (Une information numérique (en anglais « digital ») est une information...), algèbre linéaire (L’algèbre linéaire est la branche des mathématiques qui s'intéresse...), analyse d’erreur vers l’arrière
1971 John McCarthy (John McCarthy (né le 4 septembre 1927, à Boston, Massachusetts) est le principal pionnier de...) (États-Unis États-Unis) intelligence artificielle
1972 Edsger Dijkstra (Edsger Wybe Dijkstra (né à Rotterdam le 11 mai 1930, mort à Nuenen le 6 août 2002) est un...) (Pays-Bas Pays-Bas) la science (La science (latin scientia, « connaissance ») est, d'après le dictionnaire...) et l’art des langages de programmation (La programmation dans le domaine informatique est l'ensemble des activités qui permettent...), langage ALGOL
1973 Charles Bachman (États-Unis États-Unis) technologie (Le mot technologie possède deux acceptions de fait :) des bases de données (Dans les technologies de l'information (TI), une donnée est une description élémentaire, souvent...)
1974 Donald Knuth (Donald Ervin Knuth ([kəˈnuːθ]) (10 janvier 1938 à Milwaukee,...) (États-Unis États-Unis) analyse des algorithmes et conception des langages de programmation
1975 Allen Newell (États-Unis États-Unis) et Herbert A. Simon (États-Unis États-Unis) intelligence artificielle, la psychologie de la compréhension humaine, traitement de liste
1976 Michael Rabin (Israël Israël) et Dana S. Scott (États-Unis États-Unis) machines non déterministes
1977 John Backus (John Backus (né le 3 décembre 1924 et mort le 17 mars 2007 à Ashland dans l'Oregon), est un...) (États-Unis É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 États-Unis) méthodologies pour la création de logiciels efficaces et fiables
1979 Kenneth Iverson (Kenneth Iverson (17 décembre, 1920, Camrose (Alberta Canada), 19 octobre, 2004, Toronto (Ontario...) (Canada Canada) langages de programmation et notation mathématique, implémentation (Le mot implantation peut avoir plusieurs significations :) de systèmes interactifs, utilisation éducative d’APL, théorie (Le mot théorie vient du mot grec theorein, qui signifie « contempler, observer,...) et pratique du langage de programmation (Un langage de programmation est un langage informatique, permettant à un être humain...)
1980 Charles A. R. Hoare (Royaume-Uni Royaume-Uni) définition (Une définition est un discours qui dit ce qu'est une chose ou ce que signifie un nom. D'où la...) et conception des langages de programmation
1981 Edgar Frank Codd (Edgar Frank Codd (23 août 1923 - 18 avril 2003) fut un informaticien britannique. Il est...) (Royaume-Uni Royaume-Uni) systèmes de gestion de bases de données, en particulier bases de données relationnelles
1982 Stephen Cook (Stephen Arthur Cook (né en 1939 à Buffalo dans l'État de New-York) est un informaticien qui a...) (États-Unis États-Unis) complexité (La complexité est une notion utilisée en philosophie, épistémologie (par...) du calcul informatique
1983 Kenneth Thompson (Kenneth Thompson, informaticien américain, né en 1943 à La Nouvelle-Orléans. Concepteur du...) (États-Unis États-Unis) et Dennis Ritchie (Dennis MacAlistair Ritchie (9 septembre 1941) est un des pionniers de l'informatique moderne,...) (États-Unis États-Unis) théorie des systèmes d'exploitation, implémentation du système UNIX (UNIX (marque déposée officiellement comme UNIX, parfois aussi écrit comme Unix avec...)
1984 Niklaus Wirth (Niklaus Wirth, professeur d'informatique et inventeur de plusieurs langages de programmation, est...) (Suisse Suisse) développement des langages EULER, Algol W, MODULA et PASCAL
1985 Richard Karp (Richard Karp, né en 1935 à Boston dans le Massachussetts, est un informaticien américain, connu...) (États-Unis États-Unis) théorie des algorithmes, NP-complétude
1986 John Hopcroft (John Hopcroft (7 octobre 1939 - ) est un informaticien américain, enseignant à l'université...) (États-Unis États-Unis) et Robert Tarjan (États-Unis États-Unis) création et analyse de structures de données
1987 John Cocke (États-Unis États-Unis) théorie des compilateurs, architecture (Architectures est une série documentaire proposée par Frédéric Campain et Richard Copans,...) des grands systèmes, invention des architectures RISC
1988 Ivan Sutherland (États-Unis États-Unis) Conception assistée par ordinateur (Un ordinateur est une machine dotée d'une unité de traitement lui permettant...) (CAO)
1989 William Kahan (Canada Canada) analyse numérique
1990 Fernando Corbató (États-Unis États-Unis) applications réparties, création de CTSS et Multics (Multics (acronyme de MULTiplexed Information and Computing Service) est le nom d'un système...)
1991 Robin Milner (Robin Milner (né en 1934) est un informaticien britannique. Diplômé de l'université de...) (Royaume-Uni Royaume-Uni) LCF, ML, CCS
1992 Butler Lampson (États-Unis États-Unis) environnements personnels distribués
1993 Juris Hartmanis (États-Unis États-Unis) et Richard Stearns (Richard Edwin Stearns (né le 5 juillet 1936) est un informaticien qui, avec Juris Hartmanis, a...) (États-Unis États-Unis) théorie de la complexité (La théorie de la complexité s'intéresse à l'étude formelle de la difficulté des problèmes en...)
1994 Edward Feigenbaum (Edward Feigenbaum (né le 20 janvier 1936 à Weehawken, États-Unis) est un informaticien...) (États-Unis États-Unis) et Raj Reddy (Inde Inde) systèmes d’intelligence artificielle de grande envergure (L'envergure est la distance entre les extrémités des ailes. Le terme est valable pour...)
1995 Manuel Blum (Venezuela Venezuela) théorie de la complexité appliquée à la cryptographie (La cryptographie est une des disciplines de la cryptologie s'attachant à protéger des messages...) et à la vérification de programmes
1996 Amir Pnueli (Israël Israël) logique temporelle (Les différentes logiques temporelles sont des logiques de propositions ; elles sont donc...) et vérification de programmes et de systèmes
1997 Douglas Engelbart (Le docteur Douglas C. Engelbart est né le 30 janvier 1925 dans l'Oregon.) (États-Unis États-Unis) informatique interactive
1998 James Gray (États-Unis États-Unis) bases de données et traitement de transactions
1999 Frederick Brooks (Frederick Brooks (19 avril 1931) est un ingénieur en logiciel et informaticien.) (États-Unis États-Unis) architecture (L’architecture peut se définir comme l’art de bâtir des édifices.) des ordinateurs, systèmes d’exploitation et logiciels
2000 Andrew Yao (République populaire de Chine Chine) théorie de la calculabilité (La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est une branche...), génération de nombres pseudo-aléatoires, cryptographie et complexité de communication (La communication concerne aussi bien l'homme (communication intra-psychique, interpersonnelle,...)
2001 Ole-Johan Dahl (Le professeur Ole-Johan Dahl (né à Mandal, en Norvège, le 12 octobre 1931 – mort le 29...) (Norvège Norvège) et Kristen Nygaard (Kristen Nygaard (27 août 1926 - 10 août 2002) était un mathématicien et informaticien...) (Norvège Norvège) Programmation orientée objet (La programmation par objet (du terme anglo-saxon Object-Oriented Programming ou OOP), est un...) et création des langages Simula I et Simula 67
2002 Ronald L. Rivest (États-Unis États-Unis), Adi Shamir (Adi Shamir est un cryptologue et professeur au département de mathématiques appliquées du...) (Israël Israël) et Leonard M. Adleman (États-Unis États-Unis) cryptographie à clef (Au sens propre, la clef ou clé (les deux orthographes sont correctes) est un dispositif amovible...) publique et système RSA
2003 Alan Kay (Alan Kay est un informaticien américain. Il rejoint les laboratoires PARC de Xerox en 1970, où il...) (États-Unis États-Unis) Programmation orientée objet (De manière générale, le mot objet (du latin objectum, 1361) désigne une entité définie dans...) et création du langage Smalltalk
2004 Vinton G. Cerf (États-Unis États-Unis) et Robert E. Kahn (États-Unis États-Unis) réseaux, TCP/IP
2005 Peter Naur (Danemark 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 (La programmation dans le domaine informatique est l'ensemble des activités qui permettent...)
2006 Frances Allen (États-Unis États-Unis) optimisation des compilateurs
2007 Edmund Clarke (États-Unis États-Unis), Allen Emerson (États-Unis États-Unis) et Joseph Sifakis (France France) pour leurs travaux sur le model checking.
2008 Barbara Liskov (Barbara Liskov née Huberman, née le 7 novembre 1939, est une éminente informaticienne.) (États-Unis États-Unis) pour la conception de langages de programmation et la méthodologie polymorphe
2009 Charles P. Thacker (États-Unis États-Unis) Pour le travail effectué tout (Le tout compris comme ensemble de ce qui existe est souvent interprété comme le monde ou...) au long de sa carrière dont le Xerox (Xerox est une entreprise américaine, basée à Stamford (Connecticut).) Alto
Page générée en 0.082 seconde(s) - site hébergé chez Amen
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
Ce site est édité par Techno-Science.net - A propos - Informations légales
Partenaire: HD-Numérique