Premio Turing

El premio ACM A.M. Turing es un galardón anual que concede la Association for Computing Machinery (ACM) a "una persona seleccionada por sus contribuciones de carácter técnico a la comunidad informática". Lleva el nombre de Alan Turing y se entrega cada año en la ciudad de Nueva York. Es el máximo galardón que se puede conceder a un informático y el "Premio Nobel de la informática".

El premio Turing

Historia

El primer premio Turing se concedió en 1966 a Alan Perlis, profesor de la Universidad Carnegie Mellon. Desde entonces se ha concedido todos los años.

El primer galardonado, en 1966, fue Alan Perlis, de la Universidad Carnegie Mellon. Frances E. Allen, de IBM, fue en 2006 la primera mujer galardonada en los cuarenta años de historia del premio.

Destinatarios

Año	Destinatario	Foto	Justificación
1966	Alan Perlis	80px	Por su influencia en el ámbito de las técnicas avanzadas de programación informática y la construcción de compiladores.
1967	Maurice Wilkes		Wilkes es más conocido como constructor y diseñador del EDSAC, el primer ordenador con un programa almacenado internamente. Construido en 1949, el EDSAC utilizaba una memoria de línea de retardo de mercurio. También es conocido por ser el autor, junto con Wheeler y Gill, de un volumen sobre "Preparación de programas para ordenadores digitales electrónicos" en 1951, en el que se introdujeron efectivamente las bibliotecas de programas.
1968	Richard Hamming	80px	Por sus trabajos sobre métodos numéricos, sistemas de codificación automática y códigos de detección y corrección de errores.
1969	Marvin Minsky		Por su papel fundamental en la creación, configuración, promoción y avance del campo de la inteligencia artificial.
1970	James H. Wilkinson	80px	Por sus investigaciones en análisis numérico para facilitar el uso del ordenador digital de alta velocidad, habiendo recibido un reconocimiento especial por sus trabajos en cálculos de álgebra lineal y análisis de errores "hacia atrás".
1971	John McCarthy		La conferencia de McCarthy "El estado actual de la investigación sobre inteligencia artificial" es un tema que abarca el área en la que ha logrado un considerable reconocimiento por su trabajo.
1972	Edsger W. Dijkstra		Edsger Dijkstra fue uno de los principales contribuyentes a finales de los años 50 al 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.
1973	Charles Bachman		Por sus destacadas contribuciones a la tecnología de las bases de datos.
1974	Donald Knuth		Por sus importantes contribuciones al análisis de algoritmos y al diseño de lenguajes de programación, y en particular por sus aportaciones a "El arte de la programación de ordenadores" a través de sus conocidos libros de una serie continua con este título.
1975	Allen Newell	80px	En esfuerzos científicos conjuntos que se extienden durante más de veinte años, inicialmente en colaboración con J. C. Shaw en la RAND Corporation, y posteriormente con numerosos colegas profesores y estudiantes de la Universidad Carnegie Mellon, han hecho contribuciones básicas a la inteligencia artificial, la psicología de la cognición humana y el procesamiento de listas.
1975	Herbert A. Simon
1976	Michael O. Rabin		Por su trabajo conjunto "Finite Automata and Their Decision Problem", que introdujo la idea de las máquinas no deterministas, que ha demostrado ser un concepto enormemente valioso. Su trabajo clásico (Scott y Rabin) ha sido una fuente continua de inspiración para los trabajos posteriores en este campo.
1976	Dana Scott
1977	John Backus		Por sus profundas, influyentes y duraderas contribuciones al diseño de sistemas prácticos de programación de alto nivel, especialmente a través de su trabajo en FORTRAN, y por la publicación seminal de procedimientos formales para la especificación de lenguajes de programación.
1978	Robert W. Floyd	80px	Por tener una clara influencia en las metodologías para la creación de software eficiente y fiable, y por ayudar a fundar los siguientes subcampos importantes de la informática: la teoría del análisis sintáctico, la semántica de los lenguajes de programación, la verificación automática de programas, la síntesis automática de programas y el análisis de algoritmos.
1979	Kenneth E. Iverson	80px	Por su esfuerzo pionero en los lenguajes de programación y la notación matemática que dio lugar a lo que el campo de la informática conoce ahora 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.
1980	Tony Hoare		Por sus aportaciones fundamentales a la definición y el diseño de los lenguajes de programación.
1981	Edgar F. Codd	80px	Por sus contribuciones fundamentales y continuas a la teoría y la práctica de los sistemas de gestión de bases de datos, especialmente las relacionales.
1982	Stephen A. Cook		Por su avance en la comprensión de la complejidad de la computación de forma significativa y profunda.
1983	Ken Thompson		Por su desarrollo de la teoría de los sistemas operativos genéricos y, específicamente, por la implementación del sistema operativo UNIX.
1983	Dennis M. Ritchie
1984	Niklaus Wirth		Por desarrollar una secuencia de lenguajes informáticos innovadores, EULER, ALGOL-W, MODULA y Pascal.
1985	Richard M. Karp		Por sus continuas contribuciones a la teoría de los algoritmos, incluido el desarrollo de algoritmos eficientes para el flujo de redes y otros problemas de optimización combinatoria, la identificación de la computabilidad en tiempo polinómico con la noción intuitiva de eficiencia algorítmica y, sobre todo, las contribuciones a la teoría de la completitud NP.
1986	John Hopcroft		Por los logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos.
1986	Robert Tarjan
1987	John Cocke	80px	Por sus importantes contribuciones en el diseño y la teoría de los compiladores, la arquitectura de grandes sistemas y el desarrollo de ordenadores de conjunto de instrucciones reducidas (RISC).
1988	Ivan Sutherland		Por sus contribuciones pioneras y visionarias a los gráficos por ordenador, empezando por Sketchpad y continuando después.
1989	William Kahan		Por sus contribuciones fundamentales al análisis numérico. Es uno de los principales expertos en cálculos en coma flotante. Kahan se ha dedicado a "hacer un mundo seguro para los cálculos numéricos".
1990	Fernando J. Corbató		Por su trabajo pionero en la organización de los conceptos y la dirección del desarrollo de los sistemas informáticos de propósito general, a gran escala, de tiempo y recursos compartidos, CTSS y Multics.
1991	Robin Milner	80px	Por tres logros distintos y completos: 1) LCF, la mecanización de la Lógica de las Funciones Computables de Scott, probablemente la primera herramienta teórica y práctica para la construcción de pruebas asistida por máquinas; 2) ML, el primer lenguaje que incluye la inferencia de tipos polimórficos junto con un mecanismo de gestión de excepciones de tipo seguro; 3) CCS, una teoría general de la concurrencia. Además, formuló y avanzó con fuerza la abstracción completa, el estudio de la relación entre la semántica operativa y la denotativa.
1992	Butler W. Lampson		Por su contribución al desarrollo de entornos informáticos personales distribuidos y la tecnología para su implantació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 seminal, que sentó las bases del campo de la teoría de la complejidad computacional.
1993	Richard E. Stearns
1994	Edward Feigenbaum		Por ser pionero en el diseño y construcción de sistemas de inteligencia artificial a gran escala, demostrando la importancia práctica y el potencial impacto comercial de la tecnología de inteligencia artificial.
1994	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 comprobación de programas.
1996	Amir Pnueli		Por su trabajo seminal de 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.
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.
1998	Jim Gray		Por su contribución a la investigación sobre bases de datos y procesamiento de transacciones y su liderazgo técnico en la implantación de sistemas.
1999	Frederick P. Brooks		Por su contribución a la arquitectura informática, los sistemas operativos y la ingeniería de software.
2000	Andrew Chi-Chih 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	80px	Por ideas fundamentales para la aparición de la programación orientada a objetos, a través de su diseño de los lenguajes de programación Simula I y Simula 67.
2001	Kristen Nygaard
2002	Ron Rivest		Por su ingeniosa contribución para que la criptografía de clave pública sea útil en la práctica.
	Adi Shamir
	Leonard M. Adleman
2003	Alan Kay		Por ser pionero en muchas de las ideas que están en la base 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 el trabajo en red, incluido el diseño e implementación de los protocolos básicos de comunicación de Internet, TCP/IP, y por su inspirado liderazgo en el trabajo en red.
2004	Bob Kahn
2005	Peter Naur		Por sus contribuciones fundamentales al diseño de lenguajes de programación y a 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 las técnicas de optimización de compiladores que sentaron las bases de los modernos compiladores de optimización y la ejecución paralela automática.
2007	Edmund M. Clarke		Por su papel en el desarrollo de la comprobación de modelos hasta convertirla en una tecnología de verificación muy eficaz, ampliamente adoptada en las industrias de hardware y software.
	E. Allen Emerson
	Joseph Sifakis
2008	Barbara Liskov		Por sus contribuciones a los fundamentos prácticos y teóricos del diseño de sistemas y lenguajes de programación, especialmente en relación con la abstracción de datos, la tolerancia a fallos y la computación distribuida.
2009	Charles P. Thacker		Por su diseño pionero y la realización del Xerox Alto, el primer ordenador personal moderno, y además por sus contribuciones a la Ethernet y al Tablet PC.
2010	Leslie G. Valiant		Por su contribución a la teoría de la computación, incluyendo la teoría del aprendizaje probablemente correcto (PAC), la complejidad de la enumeración y de la computación algebraica, y la teoría de la computación paralela y distribuida.
2011	Judea Pearl		Por su contribución fundamental a la inteligencia artificial mediante el desarrollo de un cálculo para el razonamiento probabilístico y causal.
2012	Silvio Micali		Por 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 las pruebas matemáticas en la teoría de la complejidad.
2012	Shafi Goldwasser
2013	Leslie Lamport		Por sus contribuciones fundamentales a la teoría y la práctica de los sistemas distribuidos y concurrentes, en particular la invención de conceptos como la causalidad y los relojes lógicos, la seguridad y la liveness, las máquinas de estado replicadas y la consistencia secuencial.
2014	Michael Stonebraker		Por las contribuciones fundamentales a los conceptos y prácticas que subyacen a los sistemas de bases de datos modernos.
2015	Martin E. Hellman		Por su contribución fundamental a la criptografía moderna. El innovador artículo de Diffie y Hellman de 1976, "New Directions in Cryptography", introdujo las ideas de la criptografía de clave pública y las firmas digitales, que son la base de la mayoría de los protocolos de seguridad utilizados hoy en día en Internet.
2015	Whitfield Diffie
2016	Tim Berners-Lee		Por inventar la World Wide Web, el primer navegador web y los protocolos y algoritmos fundamentales que permiten la ampliación de la Web.
2017	John L. Hennessy		Por ser pionero en la adopción de 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.
2017	David Patterson
2018	Yoshua Bengio		Por los avances conceptuales y de ingeniería que han hecho de las redes neuronales profundas un componente fundamental de la informática.
	Geoffrey Hinton
	Yann LeCun
2019	Edwin Catmull		Por las contribuciones fundamentales a los gráficos por ordenador en 3D y el impacto revolucionario de estas técnicas en las imágenes generadas por ordenador (CGI) en el cine y otras aplicaciones.
2019	Pat Hanrahan