Prix Turing

ÔĽŅ
Prix Turing
Page d'aide sur l'homonymie Pour les articles homonymes, voir Turing (homonymie).

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.

Sommaire

Lauréats

Liste des lauréats
Année
de remise
du prix
Nom(s) Motivation(s)
1966 Alan J. Perlis (Drapeau des √Čtats-Unis √Čtats-Unis) construction de compilateurs
1967 Maurice Wilkes (Drapeau : Royaume-Uni Royaume-Uni) Biblioth√®que logicielle
1968 Richard Hamming (Drapeau des √Čtats-Unis √Čtats-Unis) m√©thodes num√©riques, syst√®mes de codage automatique, d√©tection et correction d‚Äôerreurs
1969 Marvin Minsky (Drapeau des √Čtats-Unis √Čtats-Unis) intelligence artificielle
1970 James H. Wilkinson (Drapeau : Royaume-Uni Royaume-Uni) analyse num√©rique, alg√®bre lin√©aire, analyse d‚Äôerreur vers l‚Äôarri√®re
1971 John McCarthy (Drapeau des √Čtats-Unis √Čtats-Unis) intelligence artificielle
1972 Edsger Dijkstra (Drapeau : Pays-Bas Pays-Bas) la science et l‚Äôart des langages de programmation, langage ALGOL
1973 Charles Bachman (Drapeau des √Čtats-Unis √Čtats-Unis) technologie des bases de donn√©es
1974 Donald Knuth (Drapeau des √Čtats-Unis √Čtats-Unis) analyse des algorithmes et conception des langages de programmation
1975 Allen Newell (Drapeau des √Čtats-Unis √Čtats-Unis) et Herbert A. Simon (Drapeau des √Čtats-Unis √Čtats-Unis) intelligence artificielle, la psychologie de la compr√©hension humaine, traitement de liste
1976 Michael Rabin (Drapeau d'Isra√ęl Isra√ęl) et Dana S. Scott (Drapeau des √Čtats-Unis √Čtats-Unis) machines non d√©terministes
1977 John Backus (Drapeau des √Č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 (Drapeau des √Čtats-Unis √Čtats-Unis) m√©thodologies pour la cr√©ation de logiciels efficaces et fiables
1979 Kenneth Iverson (Drapeau du Canada 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 (Drapeau : Royaume-Uni Royaume-Uni) d√©finition et conception des langages de programmation
1981 Edgar Frank Codd (Drapeau : Royaume-Uni Royaume-Uni) syst√®mes de gestion de bases de donn√©es, en particulier bases de donn√©es relationnelles
1982 Stephen Cook (Drapeau des √Čtats-Unis √Čtats-Unis) complexit√© du calcul informatique
1983 Kenneth Thompson (Drapeau des √Čtats-Unis √Čtats-Unis) et Dennis Ritchie (Drapeau des √Čtats-Unis √Čtats-Unis) th√©orie des syst√®mes d'exploitation, impl√©mentation du syst√®me UNIX
1984 Niklaus Wirth (Drapeau de Suisse Suisse) d√©veloppement des langages EULER, Algol W, MODULA et PASCAL
1985 Richard Karp (Drapeau des √Čtats-Unis √Čtats-Unis) th√©orie des algorithmes, NP-compl√©tude
1986 John Hopcroft (Drapeau des √Čtats-Unis √Čtats-Unis) et Robert Tarjan (Drapeau des √Čtats-Unis √Čtats-Unis) cr√©ation et analyse de structures de donn√©es
1987 John Cocke (Drapeau des √Čtats-Unis √Čtats-Unis) th√©orie des compilateurs, architecture des grands syst√®mes, invention des architectures RISC
1988 Ivan Sutherland (Drapeau des √Čtats-Unis √Čtats-Unis) Conception assist√©e par ordinateur (CAO)
1989 William Kahan (Drapeau du Canada Canada) analyse num√©rique
1990 Fernando Corbat√≥ (Drapeau des √Čtats-Unis √Čtats-Unis) applications r√©parties, cr√©ation de CTSS et Multics
1991 Robin Milner (Drapeau : Royaume-Uni Royaume-Uni) LCF, ML, CCS
1992 Butler Lampson (Drapeau des √Čtats-Unis √Čtats-Unis) environnements personnels distribu√©s
1993 Juris Hartmanis (Drapeau des √Čtats-Unis √Čtats-Unis) et Richard Stearns (Drapeau des √Čtats-Unis √Čtats-Unis) th√©orie de la complexit√©
1994 Edward Feigenbaum (Drapeau des √Čtats-Unis √Čtats-Unis) et Raj Reddy (Drapeau d'Inde Inde) syst√®mes d‚Äôintelligence artificielle de grande envergure
1995 Manuel Blum (Drapeau du Venezuela Venezuela) th√©orie de la complexit√© appliqu√©e √† la cryptographie et √† la v√©rification de programmes
1996 Amir Pnueli (Drapeau d'Isra√ęl Isra√ęl) logique temporelle et v√©rification de programmes et de syst√®mes
1997 Douglas Engelbart (Drapeau des √Čtats-Unis √Čtats-Unis) informatique interactive
1998 James Gray (Drapeau des √Čtats-Unis √Čtats-Unis) bases de donn√©es et traitement de transactions
1999 Frederick Brooks (Drapeau des √Čtats-Unis √Čtats-Unis) architecture des ordinateurs, syst√®mes d‚Äôexploitation et logiciels
2000 Andrew Yao (Drapeau de Chine Chine) th√©orie de la calculabilit√©, g√©n√©ration de nombres pseudo-al√©atoires, cryptographie et complexit√© de communication
2001 Ole-Johan Dahl (Drapeau de Norv√®ge Norv√®ge) et Kristen Nygaard (Drapeau de Norv√®ge Norv√®ge) Programmation orient√©e objet et cr√©ation des langages Simula I et Simula 67
2002 Ronald L. Rivest (Drapeau des √Čtats-Unis √Čtats-Unis), Adi Shamir (Drapeau d'Isra√ęl Isra√ęl) et Leonard M. Adleman (Drapeau des √Čtats-Unis √Čtats-Unis) cryptographie √† clef publique et syst√®me RSA
2003 Alan Kay (Drapeau des √Čtats-Unis √Čtats-Unis) Programmation orient√©e objet et cr√©ation du langage Smalltalk
2004 Vinton G. Cerf (Drapeau des √Čtats-Unis √Čtats-Unis) et Robert E. Kahn (Drapeau des √Čtats-Unis √Čtats-Unis) r√©seaux, TCP/IP
2005 Peter Naur (Drapeau du 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
2006 Frances Allen (Drapeau des √Čtats-Unis √Čtats-Unis) optimisation des compilateurs
2007 Edmund Clarke (Drapeau des √Čtats-Unis √Čtats-Unis), Allen Emerson (Drapeau des √Čtats-Unis √Čtats-Unis) et Joseph Sifakis (Drapeau de France France) pour leurs travaux sur le model checking.
2008 Barbara Liskov (Drapeau des √Čtats-Unis √Čtats-Unis) pour la conception de langages de programmation et la m√©thodologie polymorphe
2009 Charles P. Thacker (Drapeau des √Čtats-Unis √Čtats-Unis) Pour le travail effectu√© tout au long de sa carri√®re dont le Xerox Alto
2010 Leslie Valiant (Drapeau : Royaume-Uni Royaume-Uni) Pour le travail en apprentissage, en th√©orie de la complexit√©, en calcul distribu√© et parall√®le

Classement par pays

Comptes pr√©sent√©s √† l'issue de la remise du prix Turing 2010 :

Annexes

Sur les autres projets Wikimedia :

Lien externe


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Prix Turing de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Laur√©at du prix Turing ‚ÄĒ Prix Turing Pour les articles homonymes, voir Turing (homonymie). Le prix Turing ou ACM 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… ‚Ķ   Wikip√©dia en Fran√ßais

  • Turing Award ‚ÄĒ Prix Turing Pour les articles homonymes, voir Turing (homonymie). Le prix Turing ou ACM 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… ‚Ķ   Wikip√©dia en Fran√ßais

  • Turing ‚ÄĒ (homonymie) Cette page d‚Äôhomonymie r√©pertorie les diff√©rents sujets et articles partageant un m√™me nom. Alan Mathison Turing √©tait un math√©maticien et informaticien anglais, consid√©r√© comme l ¬ę inventeur ¬Ľ de l ordinateur. Son nom est… ‚Ķ   Wikip√©dia en Fran√ßais

  • Prix Nobel ‚ÄĒ Nom original Nobelpriset Prix remis Prix Nobel de physique Prix Nobel de chimie Prix Nobel de litt√©rature Prix Nobel de la paix Prix Nobel de physiologie ou m√©decine ‚Ķ   Wikip√©dia en Fran√ßais

  • Prix nobel ‚ÄĒ Le prix Nobel est une r√©compense de port√©e internationale. Remis pour la premi√®re fois en 1901, les prix sont d√©cern√©s chaque ann√©e √† des personnes ¬ę ayant apport√© le plus grand b√©n√©fice √† l humanit√© ¬Ľ, par leurs inventions, d√©couvertes ‚Ķ   Wikip√©dia en Fran√ßais

  • Turing (homonymie) ‚ÄĒ Cette page d‚Äôhomonymie r√©pertorie les diff√©rents sujets et articles partageant un m√™me nom. Alan Mathison Turing √©tait un math√©maticien et informaticien anglais, consid√©r√© comme l ¬ę inventeur ¬Ľ de l ordinateur. Son nom est fr√©quemment… ‚Ķ   Wikip√©dia en Fran√ßais

  • Prix Marcus Hutter ‚ÄĒ Prix Hutter Le Prix Hutter est d√©cern√© par le scientifique allemand Marcus Hutter depuis le 6 ao√Ľt 2006 aux chercheurs ayant r√©ussi √† faire √©voluer la compression de donn√©es en √©tablissant un record sur le large text benchmark de Matt… ‚Ķ   Wikip√©dia en Fran√ßais

  • Turing test ‚ÄĒ Test de Turing Pour les articles homonymes, voir Turing (homonymie). Le test de Turing est une proposition de test d‚Äôintelligence artificielle ayant la facult√© d‚Äôimiter la conversation humaine. D√©crit par Alan Turing en 1950 dans sa publication… ‚Ķ   Wikip√©dia en Fran√ßais

  • Prix Loebner ‚ÄĒ Le Prix Loebner est une comp√©tition annuelle qui couronne les agents conversationnels satisfaisant le mieux les crit√®res du test de Turing (avec lesquels il est le plus difficile de d√©terminer s il s agit d un robot ou d un humain). Sommaire 1… ‚Ķ   Wikip√©dia en Fran√ßais

  • Prix Locus de la meilleure nouvelle longue ‚ÄĒ Les prix Locus sont d√©cern√©s chaque ann√©e, depuis 1971, par les lecteurs du magazine am√©ricain mensuel de science fiction Locus lors de la Westercons qui se d√©roule le quatri√®me week end de juillet. La cat√©gorie de la meilleure nouvelle longue… ‚Ķ   Wikip√©dia en Fran√ßais


Share the article and excerpts

Direct link
… Do a right-click on the link above
and select ‚ÄúCopy Link‚ÄĚ

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.