Prix ​​Turing -Turing Award

Prix ​​ACM Turing
Turing-statue-Bletchley 11.jpg
La statue en ardoise de Stephen Kettle d'Alan Turing à Bletchley Park
Décerné pour Contributions exceptionnelles en informatique
Pays États-Unis
Présenté par Association pour les machines informatiques (ACM)
Récompenses) 1 000 000 $ US
Premier récompensé 1966 ; il y a 57 ans ( 1966 )
Dernière récompense 2022
Site Internet amturing .acm .org

Le prix ACM AM Turing est un prix annuel décerné par l' Association for Computing Machinery (ACM) pour des contributions d'une importance technique majeure et durable à l'informatique . Il est généralement reconnu comme la plus haute distinction en informatique et est familièrement connu ou souvent appelé le « prix Nobel d'informatique ».

Le prix porte le nom d' Alan Turing , qui était un mathématicien britannique et lecteur en mathématiques à l' Université de Manchester . Turing est souvent considéré comme le fondateur clé de l'informatique théorique et de l'intelligence artificielle . De 2007 à 2013, le prix a été accompagné d'un prix supplémentaire de 250 000 $ US, avec le soutien financier fourni par Intel et Google. Depuis 2014, le prix est accompagné d'un prix d'un million de dollars américains, avec le soutien financier de Google.

Le premier récipiendaire, en 1966, était Alan Perlis , de l'Université Carnegie Mellon . La première femme récipiendaire était Frances E. Allen d' IBM en 2006. Le dernier récipiendaire, en 2022, est Robert Metcalfe pour avoir inventé Ethernet .

Destinataires

Année Destinataire(s) Photo Raisonnement Institut(s) affilié(s)
1966 Alain Perlis Pour son influence dans le domaine des techniques avancées de programmation informatique et de la construction de compilateurs . L'université de Carnegie Mellon
1967 Maurice Wilkes Maurice Vincent Wilkes 1980 (3, recadrée).jpg Wilkes est surtout connu comme le constructeur et le concepteur de l' EDSAC , le premier ordinateur doté d'un programme stocké en interne . Construit en 1949, l'EDSAC utilisait une mémoire à ligne à retard au mercure . Il est également connu comme l'auteur, avec Wheeler et Gill, d'un volume sur "Préparation des programmes pour les ordinateurs numériques électroniques" en 1951, dans lequel les bibliothèques de programmes ont été effectivement introduites. Université de Cambridge
1968 Richard Hamming Pour ses travaux sur les méthodes numériques , les systèmes de codage automatique et les codes de détection et de correction d'erreurs. Laboratoires Bell
1969 Marvin Minski Marvin Minsky à OLPCc.jpg Pour son rôle central dans la création, l'élaboration, la promotion et l'avancement du domaine de l'intelligence artificielle . Massachusetts Institute of Technology
1970 James H. Wilkinson Pour ses recherches en analyse numérique visant à faciliter l'utilisation de l'ordinateur numérique à grande vitesse, ayant reçu une reconnaissance spéciale pour ses travaux en calculs en algèbre linéaire et en analyse d'erreurs "régressives". Laboratoire national de physique
1971 Jean McCarthy John McCarthy Stanford.jpg La conférence de McCarthy "L'état actuel de la recherche sur l'intelligence artificielle" est un sujet qui couvre le domaine dans lequel il a obtenu une reconnaissance considérable pour son travail. Université de Stanford
1972 Edsger W. Dijkstra Edsger Wybe Dijkstra.jpg Edsger Dijkstra a été l'un des principaux contributeurs à la fin des années 1950 au développement de l' ALGOL , un langage de programmation de haut niveau devenu un modèle de clarté et de rigueur mathématique. Il est l'un des principaux partisans de la science et de l'art des langages de programmation en général et a grandement contribué à notre compréhension de leur structure, de leur représentation et de leur mise en œuvre. Ses quinze années de publications s'étendent d'articles théoriques sur la théorie des graphes à des manuels de base, des textes explicatifs et des réflexions philosophiques dans le domaine des langages de programmation. Centrum Wiskunde & Informatica ,
Université de technologie d'Eindhoven ,
Université du Texas à Austin
1973 Charles Bachmann Charles Bachman 2012.jpg Pour ses contributions exceptionnelles à la technologie des bases de données . General Electric Research Laboratory (maintenant sous le Groupe Bull , une société d'Atos )
1974 Donald Knuth KnuthAtOpenContentAlliance.jpg Pour ses contributions majeures à l'analyse des algorithmes et à la conception des langages de programmation, et en particulier pour ses contributions à " L'art de la programmation informatique " à travers ses livres bien connus dans une série continue sous ce titre. California Institute of Technology ,
Center for Communications Research, Center for Communications and Computing, Institute for Defence Analyses ,
Université de Stanford
1975 Allen Newel Dans des efforts scientifiques conjoints s'étendant sur vingt ans, initialement en collaboration avec JC Shaw de la RAND Corporation , puis avec de nombreux professeurs et collègues étudiants de l'Université Carnegie Mellon , ils ont apporté des contributions fondamentales à l'intelligence artificielle, à la psychologie de la cognition humaine et à la liste traitement. RAND Corporation ,
Université Carnegie Mellon
Herbert A.Simon Herbert simon red cropped.jpg
1976 Michael O. Rabin MO Rabin.jpg Pour leur article commun "Finite Automata and Their Decision Problem", qui a introduit l'idée de machines non déterministes , une source d'inspiration continue pour les travaux ultérieurs dans ce domaine. université de Princeton
Dana Scott Scott Dana petit.jpg Université de Chicago
1977 Jean Backus Jean Backus 2.jpg Pour ses contributions profondes, influentes et durables à la conception de systèmes de programmation pratiques de haut niveau, notamment à travers ses travaux sur FORTRAN , et pour la publication fondamentale de procédures formelles de spécification des langages de programmation . IBM
1978 Robert W.Floyd Pour avoir une influence claire sur les méthodologies de création de logiciels efficaces et fiables, et pour avoir aidé à fonder les sous-domaines importants suivants de l'informatique : la théorie de l'analyse syntaxique , la sémantique des langages de programmation, la vérification automatique de programmes , la synthèse automatique de programmes et l'analyse d'algorithmes . Université Carnegie Mellon ,
Université de Stanford
1979 Kenneth E. Iverson Kei jeune.jpg Pour ses efforts de pionnier dans les langages de programmation et la notation mathématique qui ont abouti à ce que le domaine informatique connaît maintenant sous le nom d' APL , pour ses contributions à la mise en œuvre de systèmes interactifs, aux utilisations pédagogiques de l'APL et à la théorie et à la pratique des langages de programmation. IBM
1980 Tony Hoare Sir Tony Hoare IMG 5125.jpg Pour ses contributions fondamentales à la définition et à la conception des langages de programmation. Université Queen's de Belfast ,
Université d'Oxford
1981 Edgar F. Codd Pour ses contributions fondamentales et continues à la théorie et à la pratique des systèmes de gestion de bases de données, en particulier. bases de données relationnelles . IBM
1982 Stephen Cook Prof.Cook (recadré).jpg Pour son avancement significatif et profond de notre compréhension de la complexité du calcul. Université de Toronto
1983 Ken Thompson Ken Thompson 02.jpg Pour leur développement de la théorie des systèmes d'exploitation génériques et plus particulièrement pour la mise en œuvre du système d'exploitation UNIX . Laboratoires Bell
Denis Ritchie Dennis Ritchie 2011.jpg
1984 Niklaus Wirth Niklaus Wirth, UrGU (recadré).jpg Pour le développement d'une séquence de langages informatiques innovants, EULER , ALGOL-W , Pascal , MODULA et Oberon . Université de Stanford ,
Université de Zurich ,
ETH Zurich
1985 Richard M. Karp Karp mg 7725-b.cr2.jpg Pour ses contributions continues à la théorie des algorithmes, y compris le développement d'algorithmes efficaces pour le flux de réseau et d'autres problèmes d'optimisation combinatoire, l'identification de la calculabilité en temps polynomial avec la notion intuitive d'efficacité algorithmique et, plus particulièrement, ses contributions à la théorie de NP -l'exhaustivité . Université de Californie, Berkeley
1986 John Hopcroft Hopcrofg (recadré).jpg Pour des réalisations fondamentales dans la conception et l'analyse d'algorithmes et de structures de données. L'Université de Cornell
Robert Tarjan Bob Tarjan.jpg Université de Stanford ,
Université Cornell ,
Université de Californie, Berkeley ,
Université de Princeton
1987 Jean Cocke Pour ses contributions significatives à la conception et à la théorie des compilateurs, à l'architecture des grands systèmes et au développement d' ordinateurs à jeu d'instructions réduit (RISC). IBM
1988 Ivan Sutherland Ivan Sutherland au CHM.jpg Pour ses contributions pionnières et visionnaires à l'infographie , en commençant par Sketchpad et en continuant après. Université de Stanford ,
Université de Harvard ,
Université de l'Utah ,
Institut de technologie de Californie
1989 Guillaume Kahan William Kahan 2008 (recadrée).jpg Pour ses contributions fondamentales à l'analyse numérique . L'un des plus grands experts des calculs en virgule flottante . Kahan s'est consacré à "rendre le monde sûr pour les calculs numériques". Université de Californie, Berkeley
1990 Fernando J. Corbató Fernando Corbato.jpg Pour son travail de pionnier dans l'organisation des concepts et la direction du développement des systèmes informatiques à usage général, à grande échelle, à temps partagé et à partage des ressources, CTSS et Multics . Massachusetts Institute of Technology
1991 Robin Milner Pour trois réalisations distinctes et complètes : 1) LCF , la mécanisation de Scott's Logic of Computable Functions, probablement le premier outil théorique mais pratique pour la construction de preuves assistée par machine ; 2) ML , le premier langage à inclure l'inférence de type polymorphe avec un mécanisme de gestion des exceptions de type sécurisé ; 3) CCS , une théorie générale de la concurrence . De plus, il a formulé et fortement avancé l'abstraction complète , l'étude de la relation entre la sémantique opérationnelle et dénotationnelle . Université de Stanford ,
Université d'Édimbourg
1992 Majordome Lampson Professional Developers Conference 2009 Technical Leaders Panel 6 (cropped).jpg Pour les contributions au développement d'environnements informatiques personnels distribués et de la technologie pour leur mise en œuvre : stations de travail , réseaux , systèmes d'exploitation , systèmes de programmation, écrans , sécurité et publication de documents . PARC ,
DEC
1993 Juris Hartmanis Juris Hartmanis(2002).jpg En reconnaissance de leur article fondateur qui a jeté les bases du domaine de la théorie de la complexité computationnelle . General Electric Research Laboratory (maintenant sous le Groupe Bull , une société d'Atos )
Richard E. Stearns Dick Stearns (recadrée).jpg
1994 Edouard Feigenbaum 27. Dr Edward A. Feigenbaum 1994-1997.jpg Pour avoir été le pionnier de la conception et de la construction de systèmes d'intelligence artificielle à grande échelle, démontrant l'importance pratique et l'impact commercial potentiel de la technologie de l'intelligence artificielle. Université de Stanford
Raj Reddy ProfReddys Photo Cropped.jpg Université de Stanford ,
Université Carnegie Mellon
1995 Manuel Blum Blum manuel (recadrée).jpg En reconnaissance de ses contributions aux fondements de la théorie de la complexité computationnelle et de son application à la cryptographie et à la vérification de programmes . Université de Californie, Berkeley
1996 Amir Pnueli Amir Pnueli.jpg Pour un travail fondateur introduisant la logique temporelle dans l'informatique et pour des contributions exceptionnelles à la vérification de programmes et de systèmes . Université de Stanford ,
Université de Tel Aviv ,
Institut Weizmann des sciences ,
Institut Courant des sciences mathématiques
1997 Douglas Engelbart Douglas Engelbart en 2008.jpg Pour une vision inspirante de l'avenir de l'informatique interactive et l'invention de technologies clés pour aider à réaliser cette vision. SRI International ,
Tymshare ,
McDonnell Douglas ,
Bootstrap Institute/Alliance,
The Doug Engelbart Institute
1998 Jim Grey Jim Gray L'informatique au 21e siècle 2006 (recadrée).jpg Pour ses contributions fondamentales à la recherche sur le traitement des bases de données et des transactions et son leadership technique dans la mise en œuvre du système. IBM ,
Microsoft
1999 Fred Brooks Fred Brooks (recadrée).jpg Pour ses contributions marquantes à l'architecture informatique , aux systèmes d'exploitation et au génie logiciel. IBM ,
Université de Caroline du Nord à Chapel Hill
2000 Andrew Yao Andrew Yao MFO (recadré).jpg En reconnaissance de ses contributions fondamentales à la théorie du calcul , y compris la théorie basée sur la complexité de la génération de nombres pseudo-aléatoires , la cryptographie et la complexité de la communication . Université de Stanford ,
Université de Californie, Berkeley ,
Université de Princeton
2001 Ole-Johan Dahl Pour des idées fondamentales à l'émergence de la programmation orientée objet , à travers leur conception des langages de programmation Simula I et Simula 67 . Centre informatique norvégien ,
Université d'Oslo
Kristen Nygaard Kristen-Nygaard-SBLP-1997-head.png
2002 Ron Rivest Ronald L Rivest photo.jpg Pour leur ingénieuse contribution à rendre la cryptographie à clé publique utile dans la pratique. Massachusetts Institute of Technology
Adi Shamir Adi Shamir à TU Darmstadt (2013).jpg
Léonard Adleman Len-mankin-pic.jpg Université de Californie du Sud
2003 Alan Kay Alan Kay (3097597186) (recadrée).jpg Pour avoir été le pionnier de nombreuses idées à la base des langages de programmation orientés objet contemporains , avoir dirigé l'équipe qui a développé Smalltalk et pour ses contributions fondamentales à l'informatique personnelle. Université d'Utah ,
PARC ,
Université de Stanford ,
Atari ,
Apple ATG ,
Walt Disney Imagineering ,
Viewpoints Research Institute ,
HP Labs
2004 Vint Cerf Dr Vint Cerf ForMemRS (recadré).jpg Pour son travail de pionnier sur l'interconnexion de réseaux , y compris la conception et la mise en œuvre des protocoles de communication de base d'Internet, TCP/IP , et pour son leadership inspiré dans le domaine des réseaux. Université de Californie, Los Angeles ,
Université de Stanford , DARPA ,
MCI (maintenant sous Verizon ),
CNRI , Google
Bob Kahn Bob Kahn.jpg MIT ,
Bolt Beranek et Newman ,
DARPA ,
CNRI
2005 Pierre Naur Peternaur.JPG Pour ses contributions fondamentales à la conception de langages de programmation et à la définition d' ALGOL 60 , à la conception de compilateurs et à l'art et à la pratique de la programmation informatique. Regnecentralen (maintenant sous Fujitsu ),
Université de Copenhague
2006 Frances Allen Allen mg 2528-3750K-b.jpg Pour ses contributions pionnières à la théorie et à la pratique des techniques de compilateur d'optimisation qui ont jeté les bases des compilateurs d'optimisation modernes et de l'exécution parallèle automatique. IBM
2007 Edmund M. Clarke Edmund Clarke FLoC 2006 (rognée).jpg Pour leur rôle dans le développement de la vérification des modèles dans une technologie de vérification très efficace, largement adoptée dans les industries du matériel et des logiciels. Université Harvard ,
Université Carnegie Mellon
E.Allen Emerson E-allen-emerson (recadrée).jpg Université de Harvard ,
Université du Texas à Austin
Joseph Sifakis Joseph Sifakis img 0966.jpg Centre National de la Recherche Scientifique
2008 Barbara Liskov Barbara Liskov MIT informaticienne 2010.jpg Pour ses contributions aux fondements pratiques et théoriques du langage de programmation et de la conception de systèmes, en particulier liés à l'abstraction de données, à la tolérance aux pannes et à l'informatique distribuée. Massachusetts Institute of Technology
2009 Charles P. Thacker Chuckthacker (recadré).jpg Pour sa conception et réalisation pionnière du Xerox Alto , le premier ordinateur personnel moderne, ainsi que pour ses contributions à l'Ethernet et au Tablet PC. PARC ,
DEC ,
Microsoft Research
2010 Leslie Vaillant Leslie Valiant (recadrée).jpg Pour ses contributions transformatrices à la théorie du calcul , y compris la théorie de l'apprentissage probablement approximativement correct ( PAC ), la complexité de l'énumération et du calcul algébrique, et la théorie du calcul parallèle et distribué. Université de Harvard
2011 Perle de Judée Judea Pearl au NIPS 2013 (11781981594) (rognée).jpg Pour des contributions fondamentales à l'intelligence artificielle à travers le développement d'un calcul pour le raisonnement probabiliste et causal. Université de Californie, Los Angeles
Institut de technologie du New Jersey
2012 Silvio Micali Silvio Micali (recadrée).jpg Pour un travail de transformation qui a jeté les bases de la théorie de la complexité pour la science de la cryptographie et, ce faisant, a été le pionnier de nouvelles méthodes pour une vérification efficace des preuves mathématiques dans la théorie de la complexité. Massachusetts Institute of Technology
Shafi Goldwasser Shafi Goldwasser.JPG Institut de technologie du Massachusetts ,
Institut Weizmann des sciences
2013 Leslie Lamport Leslie Lamport.jpg Pour ses contributions fondamentales à la théorie et à la pratique des systèmes distribués et concurrents, notamment l'invention de concepts tels que la causalité et les horloges logiques, la sécurité et la vivacité, les machines à états répliquées et la cohérence séquentielle. Massachusetts Computer Associates (maintenant sous Essig PLM),
SRI International ,
DEC ,
Compaq (maintenant sous HP ),
Microsoft Research
2014 Michel Stonebraker Michael Stonebraker P1120062.jpg Pour des contributions fondamentales aux concepts et pratiques sous-jacents aux systèmes de bases de données modernes. Université de Californie, Berkeley ,
Massachusetts Institute of Technology
2015 Whitfield Diffie Whitfield Diffie Royal Society (recadrée).jpg Pour des contributions fondamentales à la cryptographie moderne. L'article révolutionnaire de Diffie et Hellman de 1976, "New Directions in Cryptography", a introduit les idées de cryptographie à clé publique et de signatures numériques, qui sont à la base des protocoles de sécurité les plus régulièrement utilisés sur Internet aujourd'hui. Université de Stanford
Martin Hellmann Martin-Hellman.jpg
2016 Tim Berners-Lee Sir Tim Berners-Lee (recadrée).jpg Pour avoir inventé le World Wide Web , le premier navigateur Web , ainsi que les protocoles et algorithmes fondamentaux permettant au Web d'évoluer. CERN ,
Massachusetts Institute of Technology ,
World Wide Web Consortium
2017 John L. Hennessy John L Hennessy (recadré).jpg Pour avoir été le pionnier d'une approche systématique et quantitative de la conception et de l'évaluation des architectures informatiques avec un impact durable sur l'industrie des microprocesseurs. Université de Stanford
David Patterson David A Patterson.jpg Université de Californie, Berkeley
2018 Yoshua Bengio Yoshua Bengio - 2017.jpg Pour les percées conceptuelles et techniques qui ont fait des réseaux de neurones profonds un composant essentiel de l'informatique. Université de Montréal , Université McGill ,
Mila
Geoffrey Hinton Geoffrey Hinton à UBC (recadrée).jpg Université de Toronto ,
Université de Californie à San Diego ,
Université Carnegie Mellon ,
University College London ,
Université d'Édimbourg ,
Google AI
Yann LeCun Yann LeCun - 2018 (recadré).jpg Université de Toronto ,
Bell Labs ,
Courant Institute of Mathematical Sciences , Université de New York ,
Meta AI
2019 Edwin Catmull VES Awards 89 cropped.jpg Pour ses contributions fondamentales à l'infographie 3D et l'impact révolutionnaire de ces techniques sur l'imagerie générée par ordinateur (CGI) dans le cinéma et d'autres applications. Université de l'Utah ,
Pixar ,
Walt Disney Animation Studios
Pat Hanrahan Pat Hanrahan Conférence client Tableau 2009.jpg Pixar ,
Université de Princeton ,
Université de Stanford
2020 Alfred Aho Pour les algorithmes fondamentaux et la théorie sous-jacente à la mise en œuvre du langage de programmation et pour avoir synthétisé ces résultats et ceux d'autres dans leurs livres très influents, qui ont formé des générations d'informaticiens. Laboratoires Bell ,
Université de Columbia
Jeffrey Ullmann Bell Labs ,
Université de Princeton ,
Université de Stanford
2021 Jack Dongarra Jack-dongarra-2022.jpg Pour ses contributions pionnières aux algorithmes numériques et aux bibliothèques qui ont permis aux logiciels de calcul hautes performances de suivre le rythme des améliorations matérielles exponentielles pendant plus de quatre décennies. Laboratoire national d'Argonne ,
Laboratoire national d'Oak Ridge ,
Université de Manchester ,
Texas A&M University Institute for Advanced Study ,
Université du Tennessee ,
Rice University
2022 Robert Metcalfe Avec Bob Metcalfe (recadrée).jpg Pour l'invention, la normalisation et la commercialisation d' Ethernet . Massachusetts Institute of Technology , Harvard University , Xerox PARC , Université du Texas à Austin

Voir également

Les références

Liens externes