El premio ACM AM Turing es un premio anual que otorga la Asociación de Maquinaria de Computación (ACM) por contribuciones "de gran importancia técnica y duradera en el campo de la informática". [2] En general, se reconoce como la más alta distinción en ciencias de la computación y se conoce como " Premio Nobel de Computación " o, a menudo, se lo denomina " Premio Nobel de Computación ". [3] [4] [5] [6]
Premio ACM Turing | |
---|---|
Otorgado por | Contribuciones destacadas en informática |
País | Estados Unidos |
Presentado por | Asociación de Maquinaria de Computación (ACM) |
Recompensa (s) | US $ 1.000.000 [1] |
Primer premio | 1966 |
Último premiado | 2020 |
Sitio web | amturing |
El premio lleva el nombre de Alan Turing , un matemático británico y lector de matemáticas en la Universidad de Manchester . A Turing se le atribuye a menudo como el fundador clave de la informática teórica y la inteligencia artificial . [7] De 2007 a 2013, el premio estuvo acompañado de un premio adicional de 250.000 dólares estadounidenses, con el apoyo financiero proporcionado por Intel y Google . [2] Desde 2014, el premio ha ido acompañado de un premio de 1 millón de dólares estadounidenses, con el apoyo financiero proporcionado por Google. [1] [8]
El primer destinatario, en 1966, fue Alan Perlis , de la Universidad Carnegie Mellon . La primera mujer receptora fue Frances E. Allen de IBM en 2006. [9]
Destinatarios
Año | Recipiente | Foto | Razón fundamental |
---|---|---|---|
1966 | Alan Perlis | Por su influencia en el área de técnicas avanzadas de programación informática y construcción de compiladores . [10] | |
1967 | Maurice Wilkes | Wilkes es mejor conocido como el constructor y diseñador del EDSAC , la primera computadora con un programa almacenado internamente . Construido en 1949, el EDSAC utilizó una memoria de línea de retardo de mercurio . También es conocido como autor, con Wheeler y Gill, de un volumen sobre "Preparación de programas para computadoras digitales electrónicas" en 1951, en el que se introdujeron efectivamente las bibliotecas de programas . [11] | |
1968 | Richard Hamming | Por su trabajo en métodos numéricos , sistemas de codificación automática y códigos de detección y corrección de errores. [12] | |
1969 | Marvin Minsky | Por su papel central en la creación, configuración, promoción y avance del campo de la inteligencia artificial . [13] | |
1970 | James H. Wilkinson | Por su investigación en análisis numérico para facilitar el uso de la computadora digital de alta velocidad, habiendo recibido un reconocimiento especial por su trabajo en cómputos en álgebra lineal y análisis de errores "hacia atrás". [14] | |
1971 | John McCarthy | La conferencia de McCarthy "El estado actual de la investigación en inteligencia artificial" es un tema que cubre el área en la que ha logrado un reconocimiento considerable por su trabajo. [15] | |
1972 | Edsger W. Dijkstra | Edsger Dijkstra fue uno de los principales contribuyentes a finales de la década de 1950 en el desarrollo de ALGOL , un lenguaje de programación de alto nivel que se ha convertido en un modelo de claridad y rigor matemático. Es uno de los principales defensores de la ciencia y el arte de los lenguajes de programación en general, y ha contribuido enormemente a nuestra comprensión de su estructura, representación e implementación. Sus quince años de publicaciones abarcan desde artículos teóricos sobre teoría de grafos hasta manuales básicos, textos expositivos y contemplaciones filosóficas en el campo de los lenguajes de programación. [dieciséis] | |
1973 | Charles Bachman | Por sus destacadas contribuciones a la tecnología de bases de datos . [17] | |
1974 | Donald Knuth | Por sus importantes aportes al análisis de algoritmos y al diseño de lenguajes de programación, y en particular por sus aportes a " El arte de la programación informática " a través de sus conocidos libros en una serie continua por este título. [18] | |
1975 | Allen Newell | En esfuerzos científicos conjuntos que se extienden a lo largo de veinte años, inicialmente en colaboración con JC Shaw en la Corporación RAND , y posteriormente con numerosos colegas estudiantes y profesores de la Universidad Carnegie Mellon , han realizado contribuciones básicas a la inteligencia artificial, la psicología de la cognición humana y la lista Procesando. [19] | |
Herbert A. Simon | |||
1976 | Michael O. Rabin | Para su artículo conjunto "Los autómatas finitos y su problema de decisión", [20] que introdujo la idea de máquinas no deterministas , que ha demostrado ser un concepto enormemente valioso. Su artículo clásico (Scott & Rabin) ha sido una fuente continua de inspiración para trabajos posteriores en este campo. [21] [22] | |
Dana Scott | |||
1977 | John Backus | Por contribuciones profundas, influyentes y duraderas al diseño de sistemas de programación prácticos de alto nivel, especialmente a través de su trabajo en FORTRAN , y por la publicación fundamental de procedimientos formales para la especificación de lenguajes de programación . [23] | |
1978 | Robert W. Floyd | Para tener una clara influencia sobre las metodologías para la creación de software eficiente y fiable, y para ayudar a fundar los siguientes subcampos importantes de la informática : la teoría de análisis , los semántica de los lenguajes de programación, automática verificación de programas , síntesis automática de programas y análisis de algoritmos . [24] | |
1979 | Kenneth E. Iverson | Por su esfuerzo pionero en lenguajes de programación y notación matemática que dio como resultado lo que el campo de la computación ahora conoce como APL , por sus contribuciones a la implementación de sistemas interactivos, a los usos educativos de APL y a la teoría y práctica de los lenguajes de programación. [25] | |
1980 | Tony Hoare | Por sus contribuciones fundamentales a la definición y diseño de lenguajes de programación. [26] | |
1981 | Edgar F. Codd | Por sus contribuciones fundamentales y continuas a la teoría y la práctica de los sistemas de gestión de bases de datos, esp. bases de datos relacionales . [27] | |
mil novecientos ochenta y dos | Stephen Cook | Por su avance en nuestra comprensión de la complejidad de la computación de una manera significativa y profunda. [28] | |
1983 | Ken Thompson | Para su desarrollo de teoría genérica de sistemas operativos y específicamente para la implementación del sistema operativo UNIX . [29] [30] | |
Dennis Ritchie | |||
1984 | Niklaus Wirth | Para desarrollar una secuencia de lenguajes informáticos innovadores, EULER , ALGOL-W , Pascal , MODULA y Oberon . | |
1985 | Richard M. Karp | Por sus continuas contribuciones a la teoría de algoritmos, incluido el desarrollo de algoritmos eficientes para el flujo de red y otros problemas de optimización combinatoria, la identificación de la computabilidad en tiempo polinomial con la noción intuitiva de eficiencia algorítmica y, en particular, sus contribuciones a la teoría de NP -completitud . | |
1986 | John Hopcroft | Por logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos. | |
Robert Tarjan | |||
1987 | John Cocke | Por contribuciones significativas en el diseño y teoría de compiladores, la arquitectura de grandes sistemas y el desarrollo de computadoras con conjuntos de instrucciones reducidos (RISC). | |
1988 | Ivan Sutherland | Por sus contribuciones pioneras y visionarias a los gráficos por computadora , comenzando con Sketchpad y continuando después. | |
1989 | William Kahan | Por sus contribuciones fundamentales al análisis numérico . Uno de los principales expertos en cálculos de punto flotante . Kahan se ha dedicado a "hacer que el mundo sea seguro para los cálculos numéricos". | |
1990 | Fernando J. Corbató | Por su trabajo pionero en organizar los conceptos y liderar el desarrollo de los sistemas informáticos de uso general, a gran escala, de tiempo compartido y de recursos compartidos, CTSS y Multics . | |
1991 | Robin Milner | Por tres logros distintos y completos: 1) LCF , la mecanización de la lógica de funciones computables de Scott, probablemente la primera herramienta teórica pero práctica para la construcción de pruebas asistida por máquina ; 2) ML , el primer lenguaje que incluye la inferencia de tipos polimórficos junto con un mecanismo de tratamiento de excepciones con seguridad de tipos ; 3) CCS , una teoría general de concurrencia . Además, formuló y avanzó con fuerza la abstracción completa , el estudio de la relación entre la semántica operacional y denotacional . [31] | |
1992 | Mayordomo W. Lampson | Por contribuciones al desarrollo de entornos informáticos personales distribuidos y la tecnología para su implementación: estaciones de trabajo , redes , sistemas operativos , sistemas de programación, pantallas , seguridad y publicación de documentos . | |
1993 | Juris Hartmanis | En reconocimiento a su artículo fundamental que sentó las bases para el campo de la teoría de la complejidad computacional . [32] | |
Richard E. Stearns | |||
1994 | Edward Feigenbaum | Por ser pioneros en el diseño y la construcción de sistemas de inteligencia artificial a gran escala, demostrando la importancia práctica y el impacto comercial potencial de la tecnología de inteligencia artificial. [33] | |
Raj Reddy | |||
1995 | Manuel Blum | En reconocimiento a sus contribuciones a los fundamentos de la teoría de la complejidad computacional y su aplicación a la criptografía y la verificación de programas . [34] | |
1996 | Amir Pnueli | Por su trabajo fundamental en la introducción de la lógica temporal en la ciencia de la computación y por sus destacadas contribuciones a la verificación de programas y sistemas . [35] | |
1997 | Douglas Engelbart | Por una visión inspiradora del futuro de la informática interactiva y la invención de tecnologías clave para ayudar a hacer realidad esta visión. [36] | |
1998 | Jim Gray | Por contribuciones fundamentales a la investigación de procesamiento de transacciones y bases de datos y liderazgo técnico en la implementación de sistemas. | |
1999 | Frederick P. Brooks | Por contribuciones históricas a la arquitectura de computadoras , sistemas operativos e ingeniería de software . | |
2000 | Andrew Yao | En reconocimiento a sus contribuciones fundamentales a la teoría de la computación , incluida la teoría basada en la complejidad de la generación de números pseudoaleatorios , la criptografía y la complejidad de la comunicación . | |
2001 | Ole-Johan Dahl | Para ideas fundamentales para el surgimiento de la programación orientada a objetos , a través del diseño de los lenguajes de programación Simula I y Simula 67 . | |
Kristen Nygaard | |||
2002 | Ron Rivest | Por su ingeniosa contribución para hacer que la criptografía de clave pública sea útil en la práctica. | |
Adi Shamir | |||
Leonard Adleman | |||
2003 | Alan Kay | Por ser pioneros en muchas de las ideas en la raíz de los lenguajes de programación orientados a objetos contemporáneos , por liderar el equipo que desarrolló Smalltalk y por sus contribuciones fundamentales a la informática personal. | |
2004 | Vint Cerf | Por su trabajo pionero en conexión en red , incluyendo el diseño y la implementación de la Internet protocolos de comunicaciones básicas 's, TCP / IP , y para el liderazgo inspirado en la creación de redes. | |
Bob Kahn | |||
2005 | Peter Naur | Por contribuciones fundamentales al diseño de lenguajes de programación y la definición de ALGOL 60 , al diseño de compiladores y al arte y la práctica de la programación informática. | |
2006 | Frances E. Allen | Por sus contribuciones pioneras a la teoría y la práctica de la optimización de las técnicas de compilación que sentaron las bases para la optimización de los compiladores modernos y la ejecución automática en paralelo. | |
2007 | Edmund M. Clarke | Por sus roles en el desarrollo de la verificación de modelos en una tecnología de verificación altamente efectiva, ampliamente adoptada en las industrias de hardware y software. [37] | |
E. Allen Emerson | |||
Joseph Sifakis | |||
2008 | Barbara Liskov | Por contribuciones a los fundamentos prácticos y teóricos del lenguaje de programación y el diseño de sistemas, especialmente relacionados con la abstracción de datos, la tolerancia a fallas y la computación distribuida. | |
2009 | Charles P. Thacker | Por su diseño pionero y realización de Xerox Alto , la primera computadora personal moderna, y además por sus contribuciones a Ethernet y Tablet PC. | |
2010 | Leslie Valiente | Por contribuciones transformadoras a la teoría de la computación , incluida la teoría del aprendizaje probablemente aproximadamente correcto ( PAC ), la complejidad de la enumeración y del cálculo algebraico, y la teoría de la computación paralela y distribuida. | |
2011 | Perla de Judea [38] | Por contribuciones fundamentales a la inteligencia artificial a través del desarrollo de un cálculo para el razonamiento probabilístico y causal. [39] | |
2012 | Silvio Micali | Para un trabajo transformador que sentó las bases de la teoría de la complejidad para la ciencia de la criptografía y en el proceso fue pionero en nuevos métodos para la verificación eficiente de pruebas matemáticas en la teoría de la complejidad. [40] | |
Shafi Goldwasser | |||
2013 | Leslie Lamport | Por contribuciones fundamentales a la teoría y la práctica de sistemas distribuidos y concurrentes, en particular la invención de conceptos como causalidad y relojes lógicos, seguridad y vitalidad, máquinas de estado replicadas y consistencia secuencial. [41] [42] | |
2014 | Michael Stonebraker | Por contribuciones fundamentales a los conceptos y prácticas subyacentes a los sistemas de bases de datos modernos. [43] | |
2015 | Whitfield Diffie | Por contribuciones fundamentales a la criptografía moderna. El innovador artículo de 1976 de Diffie y Hellman, "New Directions in Cryptography", [44] introdujo las ideas de la criptografía de clave pública y las firmas digitales, que son la base de los protocolos de seguridad más utilizados en Internet en la actualidad. [45] | |
Martin Hellman | |||
2016 | Tim Berners-Lee | Por inventar la World Wide Web , el primer navegador web y los protocolos y algoritmos fundamentales que permiten escalar la Web. [46] | |
2017 | John L. Hennessy | Por ser pioneros en un enfoque sistemático y cuantitativo para el diseño y la evaluación de arquitecturas informáticas con un impacto duradero en la industria de los microprocesadores. [47] | |
David Patterson | |||
2018 | Yoshua Bengio | Por avances conceptuales y de ingeniería que han hecho de las redes neuronales profundas un componente crítico de la informática. [48] | |
Geoffrey Hinton | |||
Yann LeCun | |||
2019 | Edwin Catmull | Por las 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. [49] | |
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. [50] | |
Jeffrey Ullman |
Ver también
- Lista de premios ACM
- Lista de premios de informática
- Lista de premios conocidos como el Nobel de un campo
- Lista de premios con nombres de personas
- Medalla IEEE John von Neumann
- Conferencia de Turing
- premio Nobel
- Premio Schock
- Premio Nevanlinna
- Premio Kanellakis
- Premio de Tecnología del Milenio
Referencias
- ↑ a b Bastón de Cacm (2014). "El premio del premio Turing de ACM se elevó a $ 1 millón". Comunicaciones de la ACM . 57 (12): 20. doi : 10.1145 / 2685372 .
- ^ a b "Premio AM Turing" . ACM. Archivado desde el original el 12 de diciembre de 2009 . Consultado el 5 de noviembre de 2007 .
- ^ Dasgupta, Sanjoy; Papadimitriou, Christos ; Vazirani, Umesh (2008). Algoritmos . McGraw-Hill . pag. 317 . ISBN 978-0-07-352340-8.
- ^ Bibliografía de conferencias del premio Turing , DBLP
- ^ Geringer, Steven (27 de julio de 2007). "Premio del premio Turing de ACM recaudado en 250.000 dólares" . Comunicado de prensa de ACM . Archivado desde el original el 30 de diciembre de 2008 . Consultado el 16 de octubre de 2008 .
- ^ Ver también: Brown, Bob (6 de junio de 2011). "Por qué no hay Premio Nobel de Computación" . Mundo de la red . Consultado el 3 de junio de 2015 .
- ^ Homer, Steven y Alan L. (2001). Teoría de la Computabilidad y la Complejidad . pag. 35. ISBN 978-0-387-95055-6. Consultado el 5 de noviembre de 2007 .
- ^ "Premio del premio Turing de ACM elevado a $ 1 millón" . ACM. Archivado desde el original el 23 de noviembre de 2015 . Consultado el 13 de noviembre de 2014 .
- ^ "Primera mujer en recibir el premio ACM Turing" (Comunicado de prensa). La Asociación de Maquinaria de Computación. 21 de febrero de 2007. Archivado desde el original el 2 de julio de 2007 . Consultado el 5 de noviembre de 2007 .
- ^ Perlis, AJ (1967). "La síntesis de sistemas algorítmicos". Revista de la ACM . 14 : 1–9. doi : 10.1145 / 321371.321372 . S2CID 12937998 .
- ^ Wilkes, MV (1968). "Computadoras entonces y ahora". Revista de la ACM . 15 : 1–7. doi : 10.1145 / 321439.321440 . S2CID 9846847 .
- ^ Hamming, RW (1969). "La visión de un hombre de la informática". Revista de la ACM . 16 : 3-12. doi : 10.1145 / 321495.321497 . S2CID 6868310 .
- ^ Minsky, M. (1970). "Forma y contenido en informática (conferencia de formación ACM 1970)". Revista de la ACM . 17 (2): 197–215. doi : 10.1145 / 321574.321575 . S2CID 15661281 .
- ^ Wilkinson, JH (1971). "Algunos comentarios de un analista numérico". Revista de la ACM . 18 (2): 137-147. doi : 10.1145 / 321637.321638 . S2CID 37748083 .
- ^ McCarthy, J. (1987). "Generalidad en inteligencia artificial" . Comunicaciones de la ACM . 30 (12): 1030–1035. doi : 10.1145 / 33447.33448 . S2CID 1045033 .
- ^ Dijkstra, EW (1972). "El humilde programador" . Comunicaciones de la ACM . 15 (10): 859–866. doi : 10.1145 / 355604.361591 .
- ^ Bachman, CW (1973). "El programador como navegador" . Comunicaciones de la ACM . 16 (11): 653–658. doi : 10.1145 / 355611.362534 .
- ^ Knuth, DE (1974). "La programación informática como arte" . Comunicaciones de la ACM . 17 (12): 667–673. doi : 10.1145 / 361604.361612 .
- ^ Newell, A .; Simon, HA (1976). "La informática como indagación empírica: símbolos y búsqueda" . Comunicaciones de la ACM . 19 (3): 113. doi : 10.1145 / 360018.360022 .
- ^ Rabin, MO; Scott, D. (1959). "Autómatas finitos y sus problemas de decisión" . Revista de investigación y desarrollo de IBM . 3 (2): 114. doi : 10.1147 / rd.32.0114 . S2CID 3160330 .
- ^ Rabin, MO (1977). "Complejidad de cálculos" . Comunicaciones de la ACM . 20 (9): 625–633. doi : 10.1145 / 359810.359816 .
- ^ Scott, DS (1977). "Lenguajes de lógica y programación" . Comunicaciones de la ACM . 20 (9): 634–641. doi : 10.1145 / 359810.359826 .
- ^ Backus, J. (1978). "¿Puede la programación liberarse del estilo von Neumann ?: Un estilo funcional y su álgebra de programas" . Comunicaciones de la ACM . 21 (8): 613–641. doi : 10.1145 / 359576.359579 .
- ^ Floyd, RW (1979). "Los paradigmas de la programación" . Comunicaciones de la ACM . 22 (8): 455–460. doi : 10.1145 / 359138.359140 .
- ^ Iverson, KE (1980). "La notación como herramienta de pensamiento" . Comunicaciones de la ACM . 23 (8): 444–465. doi : 10.1145 / 358896.358899 .
- ^ Hoare, CAR (1981). "La ropa vieja del emperador" . Comunicaciones de la ACM . 24 (2): 75–83. doi : 10.1145 / 358549.358561 .
- ^ Codd, EF (1982). "Base de datos relacional: una base práctica para la productividad" . Comunicaciones de la ACM . 25 (2): 109-117. doi : 10.1145 / 358396.358400 .
- ^ Cook, SA (1983). "Una descripción general de la complejidad computacional" . Comunicaciones de la ACM . 26 (6): 400–408. doi : 10.1145 / 358141.358144 .
- ^ "Laureado del premio AM Turing - Kenneth Lane Thompson" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
- ^ "Laureado del premio AM Turing - Dennis M. Ritchie" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
- ^ Milner, R. (1993). "Elementos de interacción: conferencia premio Turing" . Comunicaciones de la ACM . 36 : 78–89. doi : 10.1145 / 151233.151240 .
- ^ Stearns, RE (1994). "Conferencia del premio Turing: es hora de reconsiderar el tiempo" . Comunicaciones de la ACM . 37 (11): 95–99. doi : 10.1145 / 188280.188379 .
- ^ Reddy, R. (1996). "Soñar el sueño posible" . Comunicaciones de la ACM . 39 (5): 105-112. doi : 10.1145 / 229459.233436 .
- ^ "Premio AM Turing Laureado - Manuel Blum" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
- ^ "Galardonado con el premio AM Turing - Amir Pnueli" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
- ^ "Laureado del premio AM Turing - Douglas Engelbart" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
- ^ Se anuncian los ganadores del premio Turing 2007
- ^ Pearl, Judea (2011). La mecanización de la inferencia causal: una "mini" prueba de Turing y más allá (mp4) . Conferencias del premio ACM Turing . doi : 10.1145 / 1283920 . ISBN 978-1-4503-1049-9.
- ^ "Perla de Judea" . ACM.
- ^ "Premio Turing 2012" . ACM. Archivado desde el original el 18 de marzo de 2013.
- ^ "Premio Turing 2013" . ACM.
- ^ Lamport, L. (1978). "Hora, relojes y ordenamiento de eventos en un sistema distribuido" (PDF) . Comunicaciones de la ACM . 21 (7): 558–565. CiteSeerX 10.1.1.155.4742 . doi : 10.1145 / 359545.359563 . S2CID 215822405 .
- ^ "Premio Turing 2014" . ACM.
- ^ Diffie, W .; Hellman, M. (1976). "Nuevas direcciones en criptografía" (PDF) . Transacciones IEEE sobre teoría de la información . 22 (6): 644–654. CiteSeerX 10.1.1.37.9720 . doi : 10.1109 / TIT.1976.1055638 .
- ^ "Los pioneros de la criptografía reciben el premio ACM AM Turing 2015" . ACM.
- ^ "Premio Turing 2016" . ACM.
- ^ "Los pioneros de la arquitectura informática moderna reciben el premio ACM AM Turing" . ACM.
- ^ Los padres de la revolución del aprendizaje profundo reciben el premio ACM AM Turing
- ^ Pioneros de los gráficos por computadora modernos reconocidos con el premio ACM AM Turing: las innovaciones de Hanrahan y Catmull allanaron el camino para las películas animadas en 3D de hoy . Consultado el 19 de marzo de 2020.
- ^ El premio ACM Turing honra a los innovadores que dieron forma a los fundamentos de los compiladores y algoritmos de lenguajes de programación . Consultado el 31 de marzo de 2021.
enlaces externos
- Lista cronológica de ACM de los galardonados de Turing
- Visualización de los galardonados con el premio Turing
- Celebración del centenario del premio ACM AM Turing
- Entrevistas a los galardonados con el premio ACM AM Turing
- Celebración de los 50 años del premio ACM AM Turing