Premio Turing
Apariencia
(Redirigido desde «Turing Award»)
Premio Turing | ||
---|---|---|
| ||
Nombre original | ACM Turing Award | |
Otorgado por | ج for Computing Machinery (ACM) | |
Ubicación |
Nueva York Estados Unidos | |
Historia | ||
Inspirado por | Alan Turing | |
Primera entrega | 1966 | |
[amturing.acm.org Sitio web oficial] | ||
El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.
El galardón rinde homenaje a Alan Turing y desde 2014 es patrocinado por Google, que recompensa con un premio de un millón de dólares estadounidenses al ganador.[1]
Galardonados
[editar]Año | País | Nombres | Foto | Motivo |
---|---|---|---|---|
1966 | Alan Perlis | Por su influencia en las áreas de técnicas de programación avanzadas y construcción de compiladores. | ||
1967 | Maurice Wilkes | Por el diseño y construcción de EDSAC, la primera computadora de programa almacenado en memoria interna. | ||
1968 | Richard Hamming | Por su trabajo en métodos numéricos, sistemas de codificación automáticos, y por el desarrollo de códigos de detección y corrección de errores. | ||
1969 | Marvin Minsky | Por sus aportes en inteligencia artificial. | ||
1970 | James H. Wilkinson | Por sus investigaciones en análisis numérico para facilitar el uso de computadores digitales de alta velocidad. | ||
1971 | John McCarthy | Por sus aportes al campo de inteligencia artificial. | ||
1972 | Edsger Dijkstra | Por sus contribuciones a la «ciencia y arte» de los lenguajes de programación. | ||
1973 | Charles Bachman | Por sus aportes a la tecnología de bases de datos. | ||
1974 | Donald Knuth | Por sus contribuciones a análisis de algoritmos y el diseño de lenguajes de programación. | ||
1975 | Allen Newell | Por sus aportes en inteligencia artificial, la psicología de la percepción humana y procesamiento de listas. | ||
Herbert Alexander Simon |
||||
1976 | Michael Oser Rabin |
Por su trabajo en autómatas finitos, introduciendo la idea de máquinas no deterministas. | ||
Dana Scott | ||||
1977 | John Backus | Por sus contribuciones al diseño de sistemas de programación de alto nivel y por la publicación de procedimientos formales para la especificación de lenguajes de programación. | ||
1978 | Robert W. Floyd | Por su influencia en metodologías para la creación de software eficiente y fiable, y por sus aportes en los siguientes campos: teoría de análisis sintáctico, semántica en lenguajes de programación, verificación automática de programas, síntesis automática de programas y análisis de algoritmos. | ||
1979 | Kenneth E. Iverson | Por sus pioneros esfuerzos en lenguajes de programación y notación matemática, dando como resultado APL. | ||
1980 | C. Antony R. Hoare | Por sus importantes contribuciones a la definición y diseño de lenguajes de programación. | ||
1981 | Edgar F. Codd | Por sus continuas e importantes aportes a la teoría y práctica de los sistemas de gestión de bases de datos, ideando el enfoque relacional de la gestión de bases de datos. | ||
1982 | Stephen A. Cook | Por sus aportes en el campo de la complejidad computacional. Ideó los fundamentos de la teoría de NP-completitud. | ||
1983 | Kenneth L. Thompson | Por sus contribuciones al desarrollo de sistemas operativos en general y la creación de Unix en particular. | ||
Dennis M. Ritchie | ||||
1984 | Niklaus Wirth | Por el desarrollo de una serie de innovadores lenguajes de programación como EULER, ALGOL-W, MODULA y PASCAL. | ||
1985 | Richard M. Karp | Por sus contribuciones a la teoría de algoritmos, la identificación de problemas computables en tiempo polinomial y a la teoría de NP-completitud. | ||
1986 | John Hopcroft | Por sus logros en el análisis y diseño de algoritmos y estructuras de datos. | ||
Robert Tarjan | ||||
1987 | John Cocke | Por su aporte a la teoría de compiladores, arquitectura de grandes sistemas y el desarrollo de juego de instrucciones reducido RISC. | ||
1988 | Ivan Sutherland | Por sus aportes a la computación gráfica. | ||
1989 | William (Velvel) Kahan | Por sus contribuciones al análisis numérico, particularmente en computación en coma flotante. | ||
1990 | Fernando J. Corbató | Por su trabajo liderando el desarrollo de CTSS y Multics. | ||
1991 | Robin Milner | Por tres logros:
| ||
1992 | Butler Lampson | Por sus contribuciones al desarrollo de entornos distribuidos y la tecnología para su implementación: estaciones de trabajo, redes, sistemas operativos, sistemas de programación, monitores, publicación de documentos y seguridad. | ||
1993 | Juris Hartmanis | Por establecer los fundamentos del campo de la teoría de complejidad computacional. | ||
Richard Stearns | ||||
1994 | Edward Feigenbaum | Por el diseño y construcción de grandes sistemas de inteligencia artificial. | ||
Raj Reddy | ||||
1995 | Manuel Blum | En reconocimiento por sus aportes a los fundamentos de la teoría de complejidad computacional y su aplicabilidad a la criptografía. | ||
1996 | Amir Pnueli | Por su trabajo introduciendo la lógica temporal en informática y por sus importantes aportes a la verificación de programas y sistemas. | ||
1997 | Douglas Engelbart | Por su trabajo en computación interactiva. | ||
1998 | Jim Gray | Por sus contribuciones en bases de datos, investigación en el procesamiento de transacciones e implementación de sistemas. | ||
1999 | Frederick Brooks | Por sus contribuciones a arquitectura de computadores, sistemas operativos e ingeniería del software. | ||
2000 | Andrew Chi-Chih Yao | En reconocimiento de sus importantes aportes a la teoría de la computación, criptografía. | ||
2001 | Ole-Johan Dahl | Por su trabajo en los lenguajes de programación Simula I y Simula 67, que permitieron la aparición de la programación orientada a objetos. | ||
Kristen Nygaard | ||||
2002 | Ronald Rivest | Importantes aportes a la criptografía, en particular el algoritmo RSA. | ||
Adi Shamir | ||||
Leonard Adleman | ||||
2003 | Alan Kay | Pionero de la programación orientada a objetos y padre del lenguaje Smalltalk. | ||
2004 | Vinton Cerf | Por el protocolo TCP/IP. | ||
Robert Kahn | ||||
2005 | Peter Naur | Por sus contribuciones fundamentales en el desarrollo y definición del ALGOL 60, su diseño del compilador y el arte en la práctica de la programación. | ||
2006 | Frances Allen | Por sus contribuciones que mejoraron fundamentalmente el rendimiento de los programas de computador y aceleraron el uso de sistemas de computación de alto rendimiento. | ||
2007 | Edmund Clarke | Por su trabajo pionero en un método automatizado (llamado «model checking» en inglés) para encontrar errores de diseño en software y hardware. | ||
E. Allen Emerson | ||||
Joseph Sifakis | ||||
2008 | Barbara Liskov | Por su contribución a los fundamentos teóricos y prácticos en el diseño de lenguajes de programación y sistemas, especialmente relacionados con la abstracción de datos, tolerancia a fallos y computación distribuida. | ||
2009 | Charles Thacker | Por su contribución al desarrollo de Alto, el primer ordenador personal, así como de Ethernet y el Tablet PC. | ||
2010 | Leslie Valiant | Por sus transformadoras contribuciones a la teoría de la computación, incluyendo la teoría del aprendizaje probable, aproximadamente correcto, la complejidad de la enumeración y de la computación algebraica, y teorías de la computación paralela y distribuida. | ||
2011 | Judea Pearl | Por sus contribuciones fundamentales a la inteligencia artificial a través del desarrollo de un cálculo de probabilidades y de razonamiento causal. | ||
2012 | Silvio Micali | Por su trabajo que sentó las bases teóricas de la ciencia de la criptografía y nuevos métodos para el control eficaz de las pruebas matemáticas en la teoría de la complejidad computacional. | ||
Shafi Goldwasser | ||||
2013 | Leslie Lamport | Por contribuciones fundamentales en la teoría y práctica de los sistemas distribuidos y concurrentes, notablemente la invención de conceptos como causalidad y relojes lógicos, seguridad y liveness, máquinas de estado replicadas, y consistencia secuencial.[2] | ||
2014 | Michael Stonebraker | Por contribuciones fundamentales a los conceptos y las prácticas que son la base de los sistemas de bases de datos modernas.[3] | ||
2015 | Whitfield Diffie | Por contribuciones fundamentales a la criptografía moderna.[4] | ||
Martin Hellman | ||||
2016 | Tim Berners-Lee | Por crear la World Wide Web, el primer navegador web y los protocolos y algoritmos necesarios para su funcionamiento.[5] | ||
2017 | John L. Hennessy | Por su trabajo pionero en una aproximación sistemática y cuantitativa al diseño y evaluación de arquitecturas de ordenador con importante impacto en la industria del microprocesador.[6] | ||
David A. Patterson | ||||
2018 | Yann LeCun | Por sus avances conceptuales y de ingeniería que han hecho de las redes neuronales profundas un componente crítico de la computación.[7] | ||
Geoffrey Hinton | ||||
Yoshua Bengio | ||||
2019 | Edwin Catmull | Por contribuciones fundamentales a los gráficos por computadora en 3-D, y el impacto revolucionario de estas técnicas en las imágenes generadas por computadora (CGI) en la realización de películas y otras aplicaciones. | ||
Pat Hanrahan | ||||
2020 | Alfred Aho | Por algoritmos y teorías fundamentales que subyacen a la implementación del lenguaje de programación y por sintetizar estos resultados y los de otros en sus libros altamente influyentes, que educaron a generaciones de científicos informáticos. | ||
Jeffrey Ullman | ||||
2021 | Jack Dongarra | Por sus contribuciones en bibliotecas y algoritmos numéricos que permitieron que el software computacional de alto rendimiento siguiera el ritmo de las mejoras exponenciales del hardware durante más de cuatro décadas. | ||
2022 | Robert Metcalfe | Por sus contribuciones en la creación de la Ethernet.[8] | ||
2023 | Avi Wigderson | Por remodelar nuestra comprensión del papel de la aleatoriedad en la computación y por décadas de liderazgo intelectual en la informática teórica.[9] |
Número de galardones por nacionalidad
[editar]Esta es la distribución de los Premios Turing desde 1966 hasta 2023. Las nacionalidades de los galardonados están basadas en su lugar de nacimiento, no donde desarrollaron su trabajo como investigadores.
Estados Unidos: 47
Reino Unido: 8
Israel: 5
Francia: 2
Noruega: 2
Canadá: 2
China: 1
Dinamarca: 1
Letonia: 1
Países Bajos: 1
Suiza: 1
Venezuela: 1
Grecia: 1
India: 1
Italia: 1
Referencias
[editar]- ↑ «Funding Level increased to $1M». ACM.
- ↑ «Turing award 2013». ACM.
- ↑ «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.
- ↑ «Turing award 2018». ACM.
- ↑ «A.M. Turing Award». amturing.acm.org (en inglés). Archivado desde el original el 22 de marzo de 2023. Consultado el 22 de marzo de 2023.
- ↑ «Avi Wigderson of the Institute for Advanced Study is the recipient of the 2023 ACM A.M. Turing Award». awards.acm.org (en inglés). Consultado el 23 de abril de 2024.