Premio Turing

Premio Turing
	; Estatua de Alan Turing de Stephen Kettle en Bletchley Park
Nombre original	ACM Turing Award
Otorgado por	Association for Computing Machinery (ACM)
Ubicación	New York; United States
Historia
Inspirado por	Alan Turing
Primera entrega	1966
	[amturing.acm.org Sitio web oficial]
	[editar datos en Wikidata]

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 1 000 000 de dólares estadounidenses al ganador.^[1]

Galardonados

**Galardonados con el Premio Turing**
Año	Nombres	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 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 Herbert Alexander Simon	Por sus aportes en inteligencia artificial, la psicología de la percepción humana y procesamiento de listas.
1976	Michael Oser Rabin Dana Scott	Por su trabajo en autómatas finitos, introduciendo la idea de máquinas no deterministas.
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 Dennis M. Ritchie	Por sus contribuciones al desarrollo de sistemas operativos en general y la creación de Unix en particular.
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 Robert Tarjan	Por sus logros en el análisis y diseño de algoritmos y estructuras de datos.
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: 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	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 Richard Stearns	Por establecer los fundamentos del campo de la teoría de complejidad computacional.
1994	Edward Feigenbaum Raj Reddy	Por el diseño y construcción de grandes sistemas de inteligencia artificial.
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 Kristen Nygaard	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.
2002	Ronald Rivest Adi Shamir Leonard Adleman	Importantes aportes a la criptografía, en particular el algoritmo RSA.
2003	Alan Kay	Pionero de la programación orientada a objetos y padre del lenguaje Smalltalk.
2004	Vinton Cerf Robert Kahn	Por el protocolo TCP/IP.
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 E. Allen Emerson Joseph Sifakis	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.
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 Shafi Goldwasser	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.
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 Martin Hellman	Por contribuciones fundamentales a la criptografía moderna.^[4]

Número de galardones por nacionalidad

Esta es la distribución de los Premios Turing desde 1966 hasta 2013. Las nacionalidades de los galardonados están basadas en su lugar de nacimiento, no donde desarrollaron su trabajo como investigadores.

Referencias

↑ «Funding Level increased to $1M». ACM.
↑ «Turing award 2013». ACM.
↑ «Turing award 2014». ACM.
↑ «Cryptography Pioneers Receive 2015 ACM A.M. Turing Award». ACM.

Enlaces externos

Sitio oficial del Premio Turing (en inglés).
El premio Turing, concedido a Diffie y Hellman.

[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.

[1]

[2]

[3]

[4]