Premio Turing
Aparencia
O Premio Turing é concedido anualmente pola Asociación para a Maquinaria de Computación (en inglés Association for Computing Machinery, ou ACM) a unha persoa pola súa contribución á computación.
A denominación do premio responde a Alan Mathison Turing, un matemático británico considerado un dos pais da ciencia da computación moderna. O premio é recoñecido como o "Premio Nobel da informática". Está patrocinado pola Intel Corporation e acompañado actualmente por un premio monetario de 250.000 dólares.
Nacionalidades[editar | editar a fonte]
A maior parte dos laureados son estadounidenses. De 1966 a 2018:
País | Laureados | Suma |
---|---|---|
![]() |
44 | 44 |
![]() |
9 | 53 |
![]() |
4 | 57 |
![]() |
2 | 59 |
![]() |
2 | 61 |
![]() |
2 | 63 |
![]() |
1 | 64 |
![]() |
1 | 65 |
![]() |
1 | 66 |
![]() |
1 | 67 |
![]() |
1 | 68 |
![]() |
1 | 69 |
![]() |
1 | 70 |
![]() |
1 | 71 |
![]() |
1 | 72 |
![]() |
1 | 73 |
Laureados[editar | editar a fonte]
Ano | Nº | Imaxe | Nome | País | Citación |
---|---|---|---|---|---|
1966 | 1 | ![]() |
Alan Perlis | ![]() |
Programación avanzada e construción de compiladores. |
1967 | 2 | ![]() |
Maurice Vincent Wilkes | ![]() |
Coñecido polo proxecto do EDSAC, o primeiro computador cun programa embutido. Construído en 1949, o EDSAC usaba unha mercury delay line memory. É tamén autor, canda Wheeler e Gill, de "Preparation of Programs for Electronic Digital Computers" en 1951, no que bibliotecas de programas foron introducidas de forma eficiente. |
1968 | 3 | ![]() |
Richard Hamming | ![]() |
Polo seu traballo en métodos numéricos, sistemas de códigos automáticos, e detectores e correctores de erros de código. |
1969 | 4 | ![]() |
Marvin Minsky | Intelixencia artificial. | |
1970 | 5 | ![]() |
James H. Wilkinson | ![]() |
Pola súa investigación na análise numérica que facilitou o uso de computadores dixitais rápidos, álxebra linear e análise de erros de "backward". |
1971 | 6 | ![]() |
John McCarthy | ![]() |
A súa palestra "The Present State of Research on Artificial Intelligence". |
1972 | 7 | ![]() |
Edsger Dijkstra | ![]() |
Edsger Dijkstra foi o principal contribudor no final dos anos 1950 para o desenvolvemento do ALGOL, unha linguaxe de programación de alto nivel, modelo de claridade e rigor matemático. É un dos maiores expoñentes na arte e ciencia das linguaxes de programación, e contribuíu enormemente á comprensión da súa estrutura, representación e posta en funcionamento. Os seus quince anos de publicacións van dende artigos teóricos na teoría dos grafos até manuais, textos expositores, e filosofía contemplativa no campo das linguaxes de programación. |
1973 | 8 | Charles Bachman | ![]() |
Pola súa contribución na tecnoloxía de banco de datos. | |
1974 | 9 | ![]() |
Donald Knuth | Polas súas contribucións na análise de algoritmos e proxecto de linguaxes de programación, en particular polas súas contribucións na "Arte da Programación de Computadores" (cunha serie de libros con este título). | |
1975 | 10 | ![]() |
Allen Newell | Por xuntar esforzos científicos durante máis de vinte anos, inicialmente en colaboración con J. C. Shaw na RAND Corporation, e subsecuentemente con numerosos colegas na Carnegie Mellon University, fixeron contribucións básicas na intelixencia artificial, psicoloxía da cognitividade humana, e proceso de listas. | |
11 | ![]() |
Herbert Simon | |||
1976 | 12 | Michael Rabin | ![]() |
Polo artigo "Finite Automata and Their Decision Problem", escrito por ambos, que introduciu a idea de máquina non determinista, co que se probou un concepto de enorme valor. O seu (Scott & Rabin) artigo foi fonte de inspiración para varios traballos neste campo. | |
13 | ![]() |
Dana Scott | ![]() | ||
1977 | 14 | ![]() |
John Backus | Polas profundas e influentes contribucións no proxecto de sistemas prácticos de programación de alto nivel, principalmente a través do seu traballo no Fortran, e por publicacións importantes na especificación formal de procedementos de linguaxes de programación. | |
1978 | 15 | ![]() |
Robert Floyd | Por deixar unha clara influencia nas metodoloxías para a creación de software eficiente e fiable, e axudar a fundar os seguintes campos importantes da ciencia da computación: teoría do parsing, a semántica das linguaxes de programación, verificación automática de programas, programación automática, e análise de algoritmos. | |
1979 | 16 | ![]() |
Kenneth Iverson | ![]() |
Polo seu esforzo pioneiro nas linguaxes de programación e na notación matemática nun campo coñecido hoxe como APL, polas súas contribucións para a introdución de sistemas interactivos, uso educativo das APL, e teoría e práctica das linguaxes de programación. |
1980 | 17 | ![]() |
C.A.R. Hoare | ![]() |
Pola súa contribución fundamental para a definición e proxecto de linguaxes de programación. |
1981 | 18 | ![]() |
Edgar Frank Codd | Pola súa continua e fundamental contribución na teoría práctica dos sistemas xeradores de banco de datos. | |
1982 | 19 | ![]() |
Stephen Cook | ![]() |
Polo avance no entendemento da complexidade da computación de forma significante e profunda. |
1983 | 20 | ![]() |
Ken Thompson | Polo desenvolvemento da teoría xeral de sistemas operacionais e especialmente pola introdución do sistema operacional UNIX. | |
21 | ![]() |
Dennis Ritchie | |||
1984 | 22 | ![]() |
Niklaus Wirth | ![]() |
Por desenvolver unha serie de linguaxes de computador innovadoras, EULER, ALGOL-W, MODULA e PASCAL. |
1985 | 23 | ![]() |
Richard Karp | ![]() |
Pola súa continua contribución na teoría dos algoritmos, incluíndo o desenvolvemento de algoritmos eficientes para fluxo de rede e outros problemas de combinación, a identificación de tempo-plinominal coa noción intuitiva de eficiencia do algoritmo e, máis notadamente, contribucións na teoría de NP-Completude. |
1986 | 24 | ![]() |
John Hopcroft | Polas investigacións fundamentais no proxecto e análise de algoritmos e estruturas de datos. | |
25 | ![]() |
Robert Tarjan | |||
1987 | 26 | ![]() |
John Cocke | Polas contribucións significativas no proxecto e teoría dos compiladores, a arquitectura de varios sistemas e o desenvolvemento da arquitectura RISC. | |
1988 | 27 | ![]() |
Ivan Sutherland | Pola súa contribución visionaria e pioneira na computación gráfica, comezando co Sketchpad. | |
1989 | 28 | ![]() |
William Kahan | ![]() |
Pola súa contribución fundamental na análise numérica. |
1990 | 29 | ![]() |
Fernando Corbató | ![]() |
Polo seu traballo pioneiro organizando os conceptos e liderando o desenvolvemento de sistema de computación de general-purpose (propósito-xeral), large-scale (larga-escala), time-sharing(compartillamento de tempo) e resource-sharing (compartillamento de recursos) , CTSS e Multics. |
1991 | 30 | ![]() |
Robin Milner | ![]() |
Por tres diferentes contribucións: 1) LCF, a mecanización das funcións lóxicas de computación de Scott, probabelmente a primeira ferramenta práctica para unha máquina de demonstración de teoremas (machine assisted proof construction); 2) ML, a primeira linguaxe en incluír un tipo inferente polimórfico xunto a un tipo de mecanismo de tratamento seguro de excecións; 3) CCS, unha teoría xeral de computador concorrente. Alén disto, el formulou e avanzou fortemente na abstracción, o estudo do relacionamento entre a semántica operacional e de denotación (operational semantics/denotational semantics). |
1992 | 31 | ![]() |
Butler Lampson | ![]() |
Polas contribucións no desenvolvemento de ambientes de computación persoal distribuídos e a tecnoloxía para a súa aplicación: workstations, rede de computadores, Sistemas operacionais, sistemas de programación, displays, seguranza e publicación de documentos. |
1993 | 32 | ![]() |
Juris Hartmanis | En recoñecemento ao seu artigo no que estabeleceu as fundacións para o campo da teoría da complexidade computacional. | |
33 | ![]() |
Richard Stearns | |||
1994 | 34 | ![]() |
Edward Feigenbaum | Polo pioneirismo no proxecto de construción a gran escala de sistemas de intelixencia artificial, demostrando a importancia práctica e potencial comercial desta tecnoloxía. | |
35 | ![]() |
Raj Reddy | |||
1995 | 36 | ![]() |
Manuel Blum | ![]() |
En recoñecemento á súa contribución nos fundamentos da teoría da complexidade computacional e a súa aplicación na criptografía e validación de programas. |
1996 | 37 | ![]() |
Amir Pnueli | ![]() |
Polo traballo introdutorio lóxica temporal na ciencia da computación e por importantes contribucións na verificación formal de programas e sistemas. |
1997 | 38 | ![]() |
Douglas Engelbart | ![]() |
Por unha visión inspirada do futuro da computación interactiva e a invención de tecnoloxías chaves que axudaron a realizar esta visión. |
1998 | 39 | ![]() |
James Gray | Por contribucións na investigación de banco de datos, proceso de transaccións e lideranza técnica na aplicación de sistemas. | |
1999 | 40 | ![]() |
Fred Brooks | Por contribucións marcantes na arquitectura de computadores, sistemas operacionais, e enxeñaría de software. | |
2000 | 41 | ![]() |
Andrew Chi-Chih Yao | ![]() |
En recoñecemento pola súa contribución fundamental na teoría da computación, incluíndo a teoría (complexity-based) da xeración de números pseudoaleatorios, criptografía, e complexidade da comunicación. |
2001 | 42 | ![]() |
Ole-Johan Dahl | ![]() |
Por ideas fundamentais no surximento da programación orientada ao obxecto, por medio do proxecto das linguaxes de programación Simula I e Simula 67. |
43 | ![]() |
Kristen Nygaard | |||
2002 | 44 | ![]() |
Ronald Rivest | ![]() |
Pola súa enxeñosa contribución en facer uso práctico da criptografía de chave pública. |
45 | ![]() |
Adi Shamir | ![]() | ||
46 | ![]() |
Leonard Adleman | ![]() | ||
2003 | 47 | Alan Kay | Polo pionerismo en moitas das ideas da raíz das actuais linguaxes de programación orientadas a obxecto, liderando o grupo que desenvolveu o Smalltalk, e por contribucións fundamentais para a computación persoal. | ||
2004 | 48 | ![]() |
Vint Cerf | Polo traballo pioneiro en internetworking, incluíndo o proxecto e posta en marcha do TCP/IP , protocolo de comunicación base de Internet, e por inspirar lideranza no traballo de rede. | |
49 | ![]() |
Robert Kahn | |||
2005 | 50 | Peter Naur | ![]() |
Pola contribución fundamental no proxecto das linguaxes de programación e definición do Algol 60, e proxecto de compilador, a na arte e práctica da programación de computadores. | |
2006 | 51 | ![]() |
Frances E. Allen | ![]() |
Pola contribución que aumentou o desempeño dos programas de computador resolvendo problemas, e acelerando o uso de computación de alto desempeño. |
2007 | 52 | ![]() |
Edmund Clarke | Polo desenvolvemento do Model Checking (Verificación de modelos) nunha efectiva verificación tecnolóxica, largamente utilizada nas industrias de hardware e software. | |
53 | ![]() |
Ernest Allen Emerson | |||
54 | ![]() |
Joseph Sifakis | ![]() | ||
2008 | 55 | Barbara Liskov | ![]() |
Polas contribucións prácticas e teóricas nos fundamentos da linguaxe de programación e proxecto de sistemas, especialmente relacionadas coa abstracción de datos, tolerancia a faltas, e computación distribuída. | |
2009 | 56 | ![]() |
Charles P. Thacker | ![]() |
Pola súa contribución ó desenvolvemento de Alto, o primeiro ordenador persoal, así como de Ethernet e o Tablet PC. |
2010 | 57 | ![]() |
Leslie Valiant | ![]() |
Polas súas transformadoras contribucións á teoría da computación, incluíndo a teoría da aprendizaxe probable, aproximadamente correcto, a complexidade da enumeración e da computación alxébrica, e teorías da computación paralela e distribuída. |
2011 | 58 | ![]() |
Judea Pearl | ![]() ![]() |
Polas súas contribucións fundamentais á intelixencia artificial a través do desenvolvemento dun cálculo de probabilidades e de razoamento causal. |
2012 | 60 | ![]() |
Silvio Micali | ![]() ![]() |
Polo seu traballo que sentou as bases teóricas da ciencia da criptografía e novos métodos para o control eficaz das probas matemáticas na teoría da complexidade computacional. |
61 | Shafi Goldwasser | ![]() ![]() | |||
2013 | 62 | ![]() |
Leslie Lamport | ![]() | |
2014 | 63 | ![]() |
Michael Stonebraker | ![]() | |
2015 | 64 | ![]() |
Martin E. Hellman | ![]() |
|
65 | ![]() |
Whitfield Diffie | ![]() | ||
2016 | 66 | ![]() |
Tim Berners-Lee | ![]() |
|
2017 | 67 | ![]() |
John L. Hennessy | ![]() |
|
68 | ![]() |
David Patterson | ![]() | ||
2018 | 69 | ![]() |
Yoshua Bengio | ![]() |
|
70 | ![]() |
Geoffrey Hinton | ![]() ![]() | ||
71 | ![]() |
Yann LeCun | ![]() ![]() | ||
2019 | 72 | ![]() |
Ed Catmull | ![]() |
|
73 | ![]() |
Pat Hanrahan | ![]() |
Véxase tamén[editar | editar a fonte]
Ligazóns externas[editar | editar a fonte]
- Páxina oficial (en inglés)