Premio Turing

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
Estatua de pizarra de Stephen Kettle de Alan Turing en Bletchley Park
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 ; Hace 55 años ( 1966 )
Último premiado	2020
Sitio web	amturing .acm .org

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 el mérito de ser 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	80px	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

1. 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 .
2. "Premio AM Turing" . ACM. Archivado desde el original el 12 de diciembre de 2009 . Consultado el 5 de noviembre de 2007 .
3. Dasgupta, Sanjoy; Papadimitriou, Christos ; Vazirani, Umesh (2008). Algoritmos . McGraw-Hill . pag. 317 . ISBN 978-0-07-352340-8.
4. Bibliografía de conferencias del premio Turing , DBLP
5. 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 .
6. 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 .
7. 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 .
8. "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 .
9. "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 .
10. Perlis, AJ (1967). "La síntesis de sistemas algorítmicos". Revista de la ACM . 14 : 1–9. doi : 10.1145 / 321371.321372 . S2CID  12937998 .
11. Wilkes, MV (1968). "Computadoras entonces y ahora". Revista de la ACM . 15 : 1-7. doi : 10.1145 / 321439.321440 . S2CID  9846847 .
12. Hamming, RW (1969). "Visión de un hombre de la informática". Revista de la ACM . 16 : 3-12. doi : 10.1145 / 321495.321497 . S2CID  6868310 .
13. 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 .
14. 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 .
15. McCarthy, J. (1987). "Generalidad en inteligencia artificial" . Comunicaciones de la ACM . 30 (12): 1030–1035. doi : 10.1145 / 33447.33448 . S2CID  1045033 .
16. Dijkstra, EW (1972). "El humilde programador" . Comunicaciones de la ACM . 15 (10): 859–866. doi : 10.1145 / 355604.361591 .
17. Bachman, CW (1973). "El programador como navegador" . Comunicaciones de la ACM . 16 (11): 653–658. doi : 10.1145 / 355611.362534 .
18. Knuth, DE (1974). "La programación informática como arte" . Comunicaciones de la ACM . 17 (12): 667–673. doi : 10.1145 / 361604.361612 .
19. 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 .
20. Rabin, MO; Scott, D. (1959). "Autómatas finitos y sus problemas de decisión" . IBM Journal of Research and Development . 3 (2): 114. doi : 10.1147 / rd.32.0114 . S2CID  3160330 .
21. Rabin, MO (1977). "Complejidad de cálculos" . Comunicaciones de la ACM . 20 (9): 625–633. doi : 10.1145 / 359810.359816 .
22. Scott, DS (1977). "Lenguajes de lógica y programación" . Comunicaciones de la ACM . 20 (9): 634–641. doi : 10.1145 / 359810.359826 .
23. 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 .
24. Floyd, RW (1979). "Los paradigmas de la programación" . Comunicaciones de la ACM . 22 (8): 455–460. doi : 10.1145 / 359138.359140 .
25. Iverson, KE (1980). "La notación como herramienta de pensamiento" . Comunicaciones de la ACM . 23 (8): 444–465. doi : 10.1145 / 358896.358899 .
26. Hoare, CAR (1981). "La ropa vieja del emperador" . Comunicaciones de la ACM . 24 (2): 75–83. doi : 10.1145 / 358549.358561 .
27. 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 .
28. Cook, SA (1983). "Una visión general de la complejidad computacional" . Comunicaciones de la ACM . 26 (6): 400–408. doi : 10.1145 / 358141.358144 .
29. "Laureado del premio AM Turing - Kenneth Lane Thompson" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
30. "Laureado del premio AM Turing - Dennis M. Ritchie" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
31. Milner, R. (1993). "Elementos de interacción: conferencia premio Turing" . Comunicaciones de la ACM . 36 : 78–89. doi : 10.1145 / 151233.151240 .
32. 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 .
33. Reddy, R. (1996). "Soñar el sueño posible" . Comunicaciones de la ACM . 39 (5): 105-112. doi : 10.1145 / 229459.233436 .
34. "Premio AM Turing Laureado - Manuel Blum" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
35. "Galardonado con el premio AM Turing - Amir Pnueli" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
36. "Laureado del premio AM Turing - Douglas Engelbart" . amturing.acm.org . Consultado el 4 de noviembre de 2018 .
37. anuncian los ganadores del premio Turing 2007
38. 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.
39. "Perla de Judea" . ACM.
40. "Premio Turing 2012" . ACM. Archivado desde el original el 18 de marzo de 2013.
41. "Premio Turing 2013" . ACM.
42. 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 .
43. "Premio Turing 2014" . ACM.
44. 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 .
45. "Los pioneros de la criptografía reciben el premio ACM AM Turing 2015" . ACM.
46. "Premio Turing 2016" . ACM.
47. "Los pioneros de la arquitectura informática moderna reciben el premio ACM AM Turing" . ACM.
48. padres de la revolución del aprendizaje profundo reciben el premio ACM AM Turing
49. 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.
50. 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