Premi Turing
premi en el camp de la informàtica
El Premi Turing és considerat per molts com el Premi Nobel de la Informàtica. És atorgat anualment per l'Associació per a la Maquinària Computacional (ACM) a qui hagi contribuït de manera transcendental al camp de les ciències computacionals. El guardó rendeix tribut a Alan Mathison Turing. Després de 40 anys d'existència, el 2006 es va atorgar el guardó a la primera dona, Frances Allen.
| ||||
| Nom en la llengua original | (en) ACM A. M. Turing Award  | |||
|---|---|---|---|---|
| Tipus | premi científic de ciències de la computació | |||
| Epònim | Alan Turing | |||
| Vigència | 1966 - | |||
| Freqüència | anual | |||
| Localització | Nova York | |||
| Estat | Estats Units d'Amèrica | |||
| Guanys en premis | 1.000.000 $ | |||
| Conferit per | Association for Computing Machinery | |||
| Lloc web | amturing.acm.org | |||
Entre 2007 i 2013, el guanyador era recompensat amb 250.000 dòlars, co-patrocinat per Intel i Google.[1] A partir de 2014, amb el patrocini de Google, el premi ha arribat al milió de dòlars.[2]
Guardonats modifica
| Any | Nom | Motiu |
|---|---|---|
| 1966 |  Alan Perlis
|
Per la seva influència en les àrees de tècniques de programació avançades i construcció de compiladors. |
| 1967 | .svg){kind=small} Maurice V. Wilkes
|
Pel disseny i construcció d'EDSAC, el primer ordinador de programa emmagatzemament en memòria interna. |
| 1968 | Richard Hamming
|
Per la seva feina en mètodes numèrics, sistemes de codificació automàtics, i pel desenvolupament de codis de detecció i correcció d'errors. |
| 1969 | Marvin Minsky
|
Per les seves aportacions a intel·ligència artificial. |
| 1970 | JH Wilkinson
|
Per les seves investigacions en anàlisi numèrica per facilitar l'ús de computadors digitals d'alta velocitat. |
| 1971 | John McCarthy
|
Per les seves aportacions al camp de la intel·ligència artificial. |
| 1972 |  Edsger Dijkstra
|
Per les seves contribució a la "ciència i art" dels llenguatges de programació. |
| 1973 | Charles W. Bachman
|
Per les seves aportacions a la tecnologia de bases de dades. |
| 1974 | Donald Erwin Knuth
|
Per les seves contribucions a anàlisi d'algorismes i el disseny de llenguatges de programació. |
| 1975 | Allen Newell |
Per les seves aportacions a intel·ligència artificial, la psicologia de la percepció humana i processament de llistes. |
| 1976 |  Michael O. Rabin |
Pel seu treball en autòmats finits, introduint la idea de màquines no deterministes. |
| 1977 | John Backus
|
Per les seves contribucions al disseny de sistemes de programació d'alt nivell i per la publicació de procediments formals per a l'especificació de llenguatges de programació. |
| 1978 | Robert W. Floyd
|
Per la seva influència en metodologies per a la creació de programari eficient i fiable, i per les seves aportacions en els següents camps: teoria d'anàlisi sintàctica, semàntica en llenguatges de programació, verificació automàtica de programes, síntesi automàtica de programes i anàlisi d'algorismes. |
| 1979 |  Kenneth E. Iverson
|
Per les seves pioners esforços en llenguatges de programació i notació matemàtica, donant com a resultat APL. |
| 1980 | C. Antony R. Hoare
|
Per les seves importants contribucions a la definició i disseny de llenguatges de programació. |
| 1981 | Edgar F. Codd
|
Per les seves contínues i importants aportacions a la teoria i pràctica dels sistemes de gestió de bases de dades, ideant l'enfocament relacional de la gestió de bases de dades. |
| 1982 | Stephen A. Cook
|
Per les seves aportacions en el camp de la complexitat computacional. Va idear els fonaments de la teoria de NP-completesa. |
| 1983 | Kenneth L. Thompson |
Per les seves contribucions al desenvolupament de sistemes operatius en general i la creació de Unix en particular. |
| 1984 |  Niklaus Wirth
|
Pel desenvolupament d'una sèrie d'innovadors llenguatges de programació com EULER, ALGOL-O, MODULA i PASCAL. |
| 1985 | Richard M. Karp
|
Per les seves contribucions a la teoria d'algorismes, la identificació de problemes computables en temps polinomial i a la teoria de NP-completesa. |
| 1986 | John Hopcroft |
Pels seus èxits en l'anàlisi i disseny d'algorismes i estructures de dades. |
| 1987 | John Cocke
|
Per la seva aportació a la teoria de compiladors, arquitectura de grans sistemes i el desenvolupament de joc d'instruccions reduït RISC. |
| 1988 | Ivan Sutherland
|
Per les seves aportacions a la computació gràfica. |
| 1989 | William Kahan
|
Per les seves contribucions a l'anàlisi numèrica, particularment en computació en coma flotant. |
| 1990 | Fernando J. Corbató
|
Per la seva feina liderant el desenvolupament de CTSS i Multics. |
| 1991 | Robin Milner
|
Per tres èxits:
|
| 1992 | Butler W. Lampson
|
Per les seves contribucions al desenvolupament d'entorns distribuïts i la tecnologia per a la seva implementació: estacions de treball, xarxes, sistemes operatius, sistemes de programació, monitors, publicació de documents i seguretat. |
| 1993 |  Juris Hartmanis |
Per establir els fonaments del camp de la teoria de complexitat computacional. |
| 1994 | Edward Feigenbaum |
Pel disseny i construcció de grans sistemes d'intel·ligència artificial. |
| 1995 |  Manuel Blum
|
En reconeixement per les seves aportacions als fonaments de la teoria de complexitat computacional i la seva aplicabilitat a la criptografia. |
| 1996 |  Amir Pnueli
|
Per la seva feina introduint la lògica temporal en informàtica i per les seves importants aportacions a la verificació de programes i sistemes. |
| 1997 | Douglas Engelbart
|
Per la seva feina en computació interactiva. |
| 1998 | Jim Gray
|
Per les seves contribucions en bases de dades, investigació en el processament de transaccions i implementació de sistemes. |
| 1999 | Frederick P. Brooks, Jr
|
Per les seves contribucions a arquitectura de computadors, sistemes operatius i enginyeria del programari. |
| 2000 |  Andrew Chi-Chih Yao
|
En reconeixement de les seves importants aportacions a la teoria de la computació, criptografia. |
| 2001 |  Ole-Johan Dahl |
Per la seva feina en els llenguatges de programació Simula I i Simula67, que van permetre l'aparició de la programació orientada a objectes. |
| 2002 | Ronald Rivest |
Importants aportacions a la criptografia, en particular l'algoritme RSA. |
| 2003 | Alan Kay
|
Pioner de la programació orientada a objectes i pare del llenguatge Smalltalk. |
| 2004 | Vinton G. Cerf |
Pel protocol TCP/IP. |
| 2005 |  Peter Naur
|
Per les seves contribucions fonamentals en el desenvolupament i definició de l'Algol 60, el seu disseny del compilador i l'art en la pràctica de la programació. |
| 2006 | Frances Allen
|
Per les seves contribucions que van millorar fonamentalment el rendiment dels programes d'ordinador i accelerar l'ús de sistemes de computació d'alt rendiment. |
| 2007 | Edmund M. Clarke |
Pel seu treball pioner en un mètode automatitzat (anomenat "model checking" en anglès) per trobar errors de disseny en programari i maquinari. |
| 2008 | Barbara H. Liskov
|
Per la seva contribució als fonaments teòrics i pràctics en el disseny de llenguatges de programació i sistemes, especialment relacionats amb l'abstracció de dades, tolerància a fallades i computació distribuïda. |
| 2009 |  Charles P. Thacker
|
Pel seu disseny pioner i la realització del Xerox Alto, el primer ordinador personal modern, i les seves contribucions a Ethernet i el Tablet PC. |
| 2010 |  Leslie G. Valiant
|
Per les seves contribucions transformadores a la teoria de la computació, inclosa la teoria d'aprenentatge de probablement aproximadament correcte, la complexitat de l'enumeració i programació algebraica, i la teoria de programació paral·lela i distribuïda.. |
| 2011 |  Judea Pearl
|
Per contribucions fonamentals a la intel·ligència artificial mitjançant càlcul de probabilitat i raonament causal.[3] |
| 2012 |  Silvio Micali Shafi Goldwasser
|
Per la seva obra transformadora que va bastir els fonaments en teoria de la complexitat de la ciència de la criptografia i, tot fent-ho, va obtenir mètodes pioners per a la verificació eficient de proves matemàtiques en teoria de la complexitat.[4] |
| 2013 | Leslie Lamport
|
Per contribucions fonamentals a la teoria i la pràctica dels sistemes distribuïts i concurrents, en especial la invenció de conceptes com la causalitat i els rellotges lògics, la seguretat i la vida, màquines d'estat replicades, i consistència seqüencial.[5][6] |
| 2014 | Michael Stonebraker
|
Per contribucions fonamentals als conceptes i les pràctiques que són la base dels sistemes de bases de dades moderns.[7] |
| 2015 | Martin E. Hellman Whitfield Diffie
|
Per contribucions fonamentals a la criptografia moderna. L'article pioner de 1976, "New Directions in Cryptography," va presentar les idees de criptografia de clau pública i signatures digitals, que són el fonament de la majoria de protocols de seguretat que s'utilitzen normalment a Internet avui en dia.[8] |
| 2016 | Tim Berners-Lee
|
Per inventar el World Wide Web, el primer navegador web, i els protocols i algorismes fonamentals que permeten que el Web escali.[9] |
| 2017 | John L. Hennessy David Patterson
|
Per haver estat pioners d'una aproximació sistemàtica i quantitativa al disseny i l'avaluació d'arquitectures informàtiques, amb un impacte durador a la indústria dels microprocessadors.[10] |
| 2018 |  Yoshua Bengio Geoffrey Hinton Yann LeCun
|
Per descobriments conceptuals i d'enginyeria que han fet de les xarxes neuronals profundes un component crític de la informàtica.[11] |
| 2019 | Edwin Catmull Pat Hanrahan
|
Per contribucions fonamentals als gràfics d'ordinador en 3-D, i l'impacte revolucionari d'aquestes tècniques en la imatge generada per ordinador (CGI) en la producció de pel·lícules i altres aplicacions.[12] |
| 2020 | Alfred Aho Jeffrey Ullman
|
Pels algorismes i la teoria fonamentals en què es basa la implementació de llenguatges de programació, i per sintetitzar els seus resultats i els d'altres en els seus influents llibres, que han educat generacions d'informàtics.[13] |
| 2021 | Jack Dongarra
|
Per les seves contribucions pioneres als algorismes i llibreries numèriques que han permès que el programari de computació d'alt rendiment estigui a l'alçada de les millores exponencials en el maquinari durant més de quatre dècades.[14] |
| 2022 | Robert Metcalfe
|
Per la invenció, estandardització, i comercialització d'Ethernet.[15] |
Nombre de guardons per nacionalitat modifica
Aquesta és la distribució dels Premis Turing des de 1966 fins a 2014. Les nacionalitats dels guardonats estan basades en el seu lloc (l'estat) de naixença, no on van desenvolupar el seu treball com investigadors.
Referències modifica
- ↑ «A. M. Turing Award». ACM. Arxivat de l'original el 2009-12-12. [Consulta: 5 novembre 2007].
- ↑ «ACM's Turing Award Prize Raised to $1 Million». ACM. Arxivat de l'original el 2015-11-23. [Consulta: 13 novembre 2014].
- ↑ «Judea Pearl». ACM.
- ↑ «Turing award 2012». ACM. Arxivat de l'original el 2013-03-21. [Consulta: 11 abril 2015].
- ↑ «Turing award 2013». ACM.
- ↑ doi:10.1145/359545.359563
Aquesta referència està incompleta. Cal copiar-la per completar-la. - ↑ «Turing award 2014». ACM.
- ↑ «Cryptography Pioneers Receive 2015 ACM A.M. Turing Award». ACM.
- ↑ «Turing award 2016». ACM.
- ↑ «Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award». ACM.
- ↑ Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award
- ↑ Pioneers of Modern Computer Graphics Recognized with ACM A.M. Turing Award – Hanrahan and Catmull's Innovations Paved the Way for Today’s 3-D Animated Films. Retrieved March 19, 2020.
- ↑ ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms
- ↑ «ACM Turing Award Honors Jack Dongarra for Pioneering Concepts and Methods Which Resulted in World-Changing Computations». [Consulta: 28 abril 2022].
- ↑ «ACM A.M. Turing Award Honors Bob Metcalfe for Invention, Standardization, and Commercialization of Ethernet». [Consulta: 29 març 2023].
Enllaços externs modifica
| A Wikimedia Commons hi ha contingut multimèdia relatiu a: Premi Turing |
- Web oficial del Premi Turing (anglès)