Ir al contenido

Premio Turing

De Mexpedia
(Redirigido desde «Turing Award»)
Premio Turing
Archivo:Turing-statue-Bletchley 11.jpg
Nombre original ACM Turing Award
Otorgado por Association for Computing Machinery (ACM)
País Nueva York
Estados Unidos
Historia
Inspirado por Alan Turing
Primera entrega 1966
[amturing.acm.org Sitio web oficial]
Página no enlazada a Wikidata y añade el enlace en español: Premio Turing.

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 | editar código]
Galardonados con el Premio Turing
Año País Nombres Foto Motivo
1966 Estadounidense Alan Perlis Por su influencia en las áreas de técnicas de programación avanzadas y construcción de compiladores.
1967 Británico Maurice Wilkes Archivo:Maurice Vincent Wilkes 1980 (3).jpg Por el diseño y construcción de EDSAC, la primera computadora de programa almacenado en memoria interna.
1968 Estadounidense 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 Estadounidense Marvin Minsky Archivo:Marvin Minsky at OLPCb.jpg Por sus aportes en inteligencia artificial.
1970 Británico James H. Wilkinson Por sus investigaciones en análisis numérico para facilitar el uso de computadores digitales de alta velocidad.
1971 Estadounidense John McCarthy Archivo:John McCarthy Stanford.jpg Por sus aportes al campo de inteligencia artificial.
1972 Holandés Edsger Dijkstra Archivo:Edsger Wybe Dijkstra.jpg Por sus contribuciones a la «ciencia y arte» de los lenguajes de programación.
1973 Estadounidense Charles Bachman Archivo:Charles Bachman 2012.jpg Por sus aportes a la tecnología de bases de datos.
1974 Estadounidense Donald Knuth Archivo:Knuth alla Open Content Alliance.jpg Por sus contribuciones a análisis de algoritmos y el diseño de lenguajes de programación.
1975 Estadounidense Allen Newell Por sus aportes en inteligencia artificial, la psicología de la percepción humana y procesamiento de listas.
Estadounidense
Herbert Alexander Simon 		Archivo:Herbert simon red complete.jpg
1976 Alemán
Michael Oser Rabin
 Archivo:M O Rabin.jpg Por su trabajo en autómatas finitos, introduciendo la idea de máquinas no deterministas.
Archivo:Flag of the United States.svg Dana Scott Archivo:Scott Dana small.jpg
1977 Estadounidense John Backus Archivo:John Backus 2.jpg 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 Estadounidense 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 Canadiense Kenneth E. Iverson sinmarco Por sus pioneros esfuerzos en lenguajes de programación y notación matemática, dando como resultado APL.
1980 Británico C. Antony R. Hoare Archivo:Sir Tony Hoare IMG 5125.jpg Por sus importantes contribuciones a la definición y diseño de lenguajes de programación.
1981 Británico 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 Estadounidense Stephen A. Cook Archivo:Prof.Cook (cropped).jpg Por sus aportes en el campo de la complejidad computacional. Ideó los fundamentos de la teoría de NP-completitud.
1983 Estadounidense Kenneth L. Thompson Archivo:Ken Thompson 02.jpg Por sus contribuciones al desarrollo de sistemas operativos en general y la creación de Unix en particular.
Estadounidense Dennis M. Ritchie Archivo:Dennis Ritchie 2011.jpg
1984 Suizo Niklaus Wirth Archivo:Niklaus Wirth, UrGU (cropped).jpg Por el desarrollo de una serie de innovadores lenguajes de programación como EULER, ALGOL-W, MODULA y PASCAL.
1985 Estadounidense Richard M. Karp Archivo:Karp mg 7725-b.cr2.jpg 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 Estadounidense John Hopcroft Archivo:Hopcrofg (cropped).jpg Por sus logros en el análisis y diseño de algoritmos y estructuras de datos.
Estadounidense Robert Tarjan Archivo:Bob Tarjan.jpg
1987 Estadounidense 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 Estadounidense Ivan Sutherland Archivo:Ivan Sutherland at CHM.jpg Por sus aportes a la computación gráfica.
1989 Canadiense William (Velvel) Kahan Archivo:William Kahan 2008 (cropped).jpg Por sus contribuciones al análisis numérico, particularmente en computación en coma flotante.
1990 Estadounidense Fernando J. Corbató Archivo:Fernando Corbato.jpg Por su trabajo liderando el desarrollo de CTSS y Multics.
1991 Británico Robin Milner Por tres logros:
  • Desarrollo del sistema LCF, probablemente la primera herramienta de demostración automática de teoremas.
  • Desarrollo del lenguaje ML, metalenguaje para escribir estrategias y tácticas en LCF. Primer lenguaje en poseer un sistema polimórfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos.
  • Desarrollo de un marco teórico para el análisis de sistemas concurrentes, el cálculo de sistemas comunicantes (CCS) y su sucesor, el pi-cálculo.
1992 Estadounidense Butler Lampson Archivo:Professional Developers Conference 2009 Technical Leaders Panel 6 (cropped).jpg 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 Lituano Juris Hartmanis Archivo:Juris Hartmanis(2002).jpg Por establecer los fundamentos del campo de la teoría de complejidad computacional.
Estadounidense Richard Stearns Archivo:Dick Stearns (cropped).jpg
1994 Estadounidense Edward Feigenbaum Archivo:27. Dr. Edward A. Feigenbaum 1994-1997.jpg Por el diseño y construcción de grandes sistemas de inteligencia artificial.
Hindú Raj Reddy Archivo:ProfReddys Photo Cropped.jpg
1995 Venezolano Manuel Blum Archivo:Blum manuel (cropped).jpg En reconocimiento por sus aportes a los fundamentos de la teoría de complejidad computacional y su aplicabilidad a la criptografía.
1996 Israelí Amir Pnueli Archivo:Amir Pnueli.jpg 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 Estadounidense Douglas Engelbart Archivo:Douglas Engelbart in 2008.jpg Por su trabajo en computación interactiva.
1998 Estadounidense Jim Gray Archivo:Jim Gray Computing in the 21st Century 2006 (cropped).jpg Por sus contribuciones en bases de datos, investigación en el procesamiento de transacciones e implementación de sistemas.
1999 Estadounidense Frederick Brooks Archivo:Fred Brooks (cropped).jpg Por sus contribuciones a arquitectura de computadores, sistemas operativos e ingeniería del software.
2000 Chino Andrew Chi-Chih Yao Archivo:Andrew Yao MFO (cropped).jpg En reconocimiento de sus importantes aportes a la teoría de la computación, criptografía.
2001 Noruego 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.
Noruego Kristen Nygaard Archivo:Kristen-Nygaard-SBLP-1997-head.png
2002 Estadounidense Ronald Rivest Archivo:Ronald L Rivest photo.jpg Importantes aportes a la criptografía, en particular el algoritmo RSA.
Israelí Adi Shamir Archivo:Adi Shamir at TU Darmstadt (2013).jpg
Estadounidense Leonard Adleman Archivo:Len-mankin-pic.jpg
2003 Estadounidense Alan Kay Archivo:Alan Kay (3097597186) (cropped).jpg Pionero de la programación orientada a objetos y padre del lenguaje Smalltalk.
2004 Estadounidense Vinton Cerf Archivo:Dr Vint Cerf ForMemRS (cropped).jpg Por el protocolo TCP/IP.
Estadounidense Robert Kahn Archivo:Bob Kahn.jpg
2005 Danés Peter Naur Archivo:Peternaur.JPG 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 Estadounidense Frances Allen Archivo:Allen mg 2528-3750K-b.jpg 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 Estadounidense Edmund Clarke Archivo:Edmund Clarke FLoC 2006 (cropped).jpg 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.
Estadounidense E. Allen Emerson Archivo:E-allen-emerson.jpg
Estadounidense Joseph Sifakis Archivo:Joseph Sifakis img 0966.jpg
2008 Estadounidense Barbara Liskov Archivo:Barbara Liskov MIT computer scientist 2010.jpg 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 Estadounidense Charles Thacker Archivo:Chuckthacker (cropped).jpg Por su contribución al desarrollo de Alto, el primer ordenador personal, así como de Ethernet y el Tablet PC.
2010 Británico Leslie Valiant Archivo:Leslie Valiant (cropped).jpg 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 Israelí
Estadounidense 		Judea Pearl Archivo:Judea Pearl at NIPS 2013 (11781981594) (cropped).jpg Por sus contribuciones fundamentales a la inteligencia artificial a través del desarrollo de un cálculo de probabilidades y de razonamiento causal.
2012 Italiano
Estadounidense 		Silvio Micali Archivo:Silvio Micali (cropped).jpg 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.
Israelí
Estadounidense 		Shafi Goldwasser Archivo:Shafi Goldwasser.JPG
2013 Estadounidense Leslie Lamport Archivo:Leslie Lamport.jpg 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 Estadounidense Michael Stonebraker Archivo:Michael Stonebraker P1120062.jpg Por contribuciones fundamentales a los conceptos y las prácticas que son la base de los sistemas de bases de datos modernas.[3]
2015 Estadounidense Whitfield Diffie Archivo:Whitfield Diffie Royal Society (cropped).jpg Por contribuciones fundamentales a la criptografía moderna.[4]
Estadounidense Martin Hellman Archivo:Martin-Hellman.jpg
2016 Británico Tim Berners-Lee Archivo:Sir Tim Berners-Lee (cropped).jpg Por crear la World Wide Web, el primer navegador web y los protocolos y algoritmos necesarios para su funcionamiento.[5]
2017 Estadounidense John L. Hennessy Archivo:John L Hennessy (cropped).jpg 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]
Estadounidense David A. Patterson Archivo:David A Patterson.jpg
2018 Francés Yann LeCun Archivo:Yann LeCun - 2018 (cropped).jpg 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]
Británico Geoffrey Hinton Archivo:Geoffrey Hinton at UBC (cropped).jpg
Francés Yoshua Bengio Archivo:Yoshua Bengio - 2017.jpg
2019 Estadounidense Edwin Catmull Archivo:VES Awards 89 cropped.jpg 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.
Estadounidense Pat Hanrahan Archivo:Pat Hanrahan Tableau Customer Conference 2009.jpg
2020 Canadiense 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.
Estadounidense Jeffrey Ullman
2021 Estadounidense Jack Dongarra Archivo:Jack-dongarra-2022.jpg 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 Estadounidense Robert Metcalfe Archivo:With Bob Metcalfe (cropped).jpg Por sus contribuciones en la creación de la Ethernet.[8]
2023 Israelí Avi Wigderson Archivo:Avi Wigderson (London 2012) Cropped.jpg 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]
2024 Estadounidense Andrew Barto Por desarrollar los fundamentos conceptuales y algorítmicos del aprendizaje por refuerzo.
Canadiense Richard S. Sutton Archivo:Richard Sutton 2021 (cropped).jpg
2025 Estadounidense Charles H. Bennett Archivo:Dr. Charles Bennett IBM Fellow.jpg Por iniciar y dar forma a la revolución cuántica en la informática.
Canadiense Gilles Brassard Archivo:Gilles Brassard (2019).jpg

Número de galardones por nacionalidad

[editar | editar código]

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.

Referencias

[editar | editar código]
  1. ↑ «Funding Level increased to $1M». ACM. 
  2. ↑ «Turing award 2013». ACM. 
  3. ↑ «Turing award 2014». ACM. 
  4. ↑ «Cryptography Pioneers Receive 2015 ACM A.M. Turing Award». ACM. 
  5. ↑ «Turing award 2016». ACM. 
  6. ↑ «Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award». ACM. 
  7. ↑ «Turing award 2018». ACM. 
  8. ↑ «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. 
  9. ↑ «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. 

Enlaces externos

[editar | editar código]
Obtenido de «https://mexpedia.org/index.php?title=Premio_Turing&oldid=194247»