Premio Turing

El Premio ACM A. M. Turing es un premio anual otorgado por la Association for Computing Machinery (ACM) por contribuciones de gran importancia técnica y duradera a la informática. Generalmente se reconoce como la distinción más alta en informática y se conoce coloquialmente como el "Premio Nobel de Computación".

El premio lleva el nombre de Alan Turing, 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. De 2007 a 2013, el premio estuvo acompañado de un premio adicional de 250 000 dólares estadounidenses, con el apoyo financiero de Intel y Google. Desde 2014, el premio va acompañado de un premio de 1 millón de dólares, con el apoyo financiero de Google.

El primer destinatario, en 1966, fue Alan Perlis, de la Universidad Carnegie Mellon. La primera mujer ganadora fue Frances E. Allen de IBM en 2006. El último destinatario, en 2021, es Jack Dongarra, de la Universidad de Tennessee.

Destinatarios

Año	Recipiente(s)	Foto	Rationale	Instituto(s) afiliado(s)
1966	Alan Perlis		Por su influencia en el área de técnicas avanzadas de programación informática y construcción de compiladores.	Carnegie Mellon University
1967	Maurice Wilkes		Wilkes es más conocido como el constructor y diseñador del EDSAC, el primer ordenador con un programa almacenado internamente. Construido en 1949, el EDSAC utilizó una memoria de línea de demora de mercurio. También es conocido como el autor, con Wheeler y Gill, de un volumen sobre "Preparación de Programas para Computadoras Digitales Electrónicas" en 1951, en el que se presentaron efectivamente las bibliotecas del programa.	University of Cambridge
1968	Richard Hamming		Para su trabajo en métodos numéricos, sistemas de codificación automáticos, y códigos de detección y corrección de errores.	Bell Labs
1969	Marvin Minsky		Por su papel central en la creación, formación, promoción y promoción del campo de la inteligencia artificial.	Massachusetts Institute of Technology
1970	James H. Wilkinson		Para su investigación en análisis numéricos para facilitar el uso de la computadora digital de alta velocidad, habiendo recibido reconocimiento especial por su trabajo en computaciones en álgebra lineal y análisis de error "backward".	National Physical Laboratory
1971	John McCarthy		La conferencia de McCarthy "The Present State of Research on Artificial Intelligence" es un tema que cubre la zona en la que ha logrado un reconocimiento considerable por su trabajo.	Stanford University
1972	Edsger W. Dijkstra		Edsger Dijkstra fue el principal contribuyente a finales de la década de 1950 al desarrollo del 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 comprender su estructura, representación y aplicación. Sus quince años de publicaciones se extienden desde artículos teóricos sobre la teoría del gráfico a manuales básicos, textos expositivos y contemplaciones filosóficas en el campo de los lenguajes de programación.	Centrum Wiskunde & Informatica, Eindhoven University of Technology
1973	Charles Bachman		Por sus contribuciones pendientes a la tecnología de bases de datos.	Laboratorio General de Investigación Eléctrica (actualmente bajo Groupe Bull, empresa Atos)
1974	Donald Knuth		Para sus principales contribuciones al análisis de algoritmos y el diseño de lenguajes de programación, y en particular para sus contribuciones a "El arte de la programación informática" a través de sus libros conocidos en una serie continua por este título.	California Institute of Technology, Center for Communications Research, Center for Communications and Computing, Institute for Defense Analyses, Stanford University
1975	Allen Newell		En los esfuerzos científicos conjuntos que se extienden más de veinte años, inicialmente en colaboración con J. C. Shaw en la RAND Corporation, y posteriormente con numerosos profesores y estudiantes colegas 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.	RAND Corporation, Carnegie Mellon University
	Herbert A. Simon
1976	Michael O. Rabin		Para su trabajo conjunto "Finite Automata y su problema de decisión", que introdujo la idea de máquinas no deterministas, que ha demostrado ser un concepto enormemente valioso. Su papel clásico (Scott " Rabin) ha sido una fuente continua de inspiración para el trabajo posterior en este campo.	Princeton University
	Dana Scott			University of Chicago
1977	John Backus		For deep, influence, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages.	IBM
1978	Robert W. Floyd		Para tener una clara influencia en las metodologías para la creación de software eficiente y confiable, y para ayudar a encontrar los siguientes subcampos importantes de la ciencia informática: la teoría del análisis, la semántica de los lenguajes de programación, verificación automática del programa, síntesis automática del programa y análisis de algoritmos.	Universidad Carnegie Mellon, Stanford University
1979	Kenneth E. Iverson		Por su esfuerzo pionero en lenguajes de programación y notación matemática que resulta en lo que el campo informático ahora conoce como APL, por sus contribuciones a la implementación de sistemas interactivos, a usos educativos de APL, y a la teoría y práctica del lenguaje de programación.	IBM
1980	Tony Hoare		Para sus contribuciones fundamentales a la definición y diseño de los idiomas de programación.	Universidad de Queen Belfast, University of Oxford
1981	Edgar F. Codd		Por sus contribuciones fundamentales y continuas a la teoría y práctica de los sistemas de gestión de bases de datos, esp. bases de datos relacionales.	IBM
1982	Stephen Cook		Para su avance en nuestra comprensión de la complejidad de la computación de una manera significativa y profunda.	University of Toronto
1983	Ken Thompson		Para su desarrollo de la teoría de sistemas operativos genéricos y específicamente para la implementación del sistema operativo UNIX.	Bell Labs
	Dennis Ritchie
1984	Niklaus Wirth		Para desarrollar una secuencia de lenguajes informáticos innovadores, EULER, ALGOL-W, Pascal, MODULA y Oberon.	Universidad de Stanford, University of Zurich, ETH Zurich
1985	Richard M. Karp		Para sus continuas contribuciones a la teoría de algoritmos incluyendo el desarrollo de algoritmos eficientes para el flujo de red y otros problemas de optimización combinatorial, la identificación de computabilidad polinomio-tiempo con la noción intuitiva de eficiencia algoritmo, y, sobre todo, contribuciones a la teoría de la completeidad NP.	University of California, Berkeley
1986	John Hopcroft		Para logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos.	Cornell University
	Robert Tarjan			Universidad de Stanford, Cornell University, University of California, Berkeley
1987	John Cocke		Para contribuciones significativas en el diseño y la teoría de los compiladores, la arquitectura de sistemas grandes y el desarrollo de equipos de instrucciones reducidas (RISC).	IBM
1988	Ivan Sutherland		Para sus contribuciones pioneras y visionarias a los gráficos computacionales, empezando por Sketchpad, y continuando después.	Universidad de Stanford, Harvard University, University of Utah, California Institute of Technology
1989	William Kahan		Por sus contribuciones fundamentales al análisis numérico. Uno de los principales expertos en computaciones de puntos flotantes. Kahan se ha dedicado a "hacer el mundo seguro para las computaciones numéricas".	University of California, Berkeley
1990	Fernando J. Corbató		Para su trabajo pionero organizando los conceptos y liderando el desarrollo de los sistemas informáticos de uso general, a gran escala, distribución de tiempo y distribución de recursos, CTSS y Multics.	Massachusetts Institute of Technology
1991	Robin Milner		Para tres logros distintos y completos: 1) LCF, la mecanización de la Lógica de Funciones Computables de Scott, probablemente la primera herramienta de base teórica pero práctica para la construcción de pruebas asistidas a máquina; 2) ML, el primer idioma para incluir inferencia de tipo polimorfo junto con un mecanismo de manejo de excepción tipo seguro; 3) CCS, una teoría general de la concurrencia. Además, formuló y avanzó fuertemente la abstracción completa, el estudio de la relación entre la semántica operacional y denotacional.	Universidad de Stanford, University of Edinburgh
1992	Butler Lampson		Para las contribuciones al desarrollo de entornos de computación personal 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.	PARC, DEC
1993	Juris Hartmanis		En reconocimiento de su papel seminal que estableció las bases para el campo de la teoría de la complejidad computacional.	Laboratorio General de Investigación Eléctrica (actualmente bajo Groupe Bull, empresa Atos)
	Richard E. Stearns
1994	Edward Feigenbaum		Para pioneros en el diseño y construcción de sistemas de inteligencia artificial de gran escala, demostrando la importancia práctica y el potencial impacto comercial de la tecnología de inteligencia artificial.	Stanford University
	Raj Reddy			Universidad de Stanford, Carnegie Mellon University
1995	Manuel Blum		En reconocimiento de sus contribuciones a las bases de la teoría de la complejidad computacional y su aplicación a la criptografía y la comprobación de programas.	University of California, Berkeley
1996	Amir Pnueli		Para el trabajo seminal introduciendo la lógica temporal en la ciencia informática y para contribuciones pendientes a la verificación de programas y sistemas.	Universidad de Stanford, Tel Aviv University, Weizmann Institute of Science
1997	Douglas Engelbart		Para una visión inspiradora del futuro de la informática interactiva y la invención de tecnologías clave para ayudar a realizar esta visión.	SRI International, Tymshare, McDonnell Douglas, Bootstrap Institute/Alliance, El Instituto Doug Engelbart
1998	Jim Gray		For seminal contributions to database and transactions processing research and technical leadership in system implementation.	IBM, Microsoft
1999	Fred Brooks		Para contribuciones históricas a la arquitectura informática, sistemas operativos e ingeniería de software.	IBM, University of North Carolina at Chapel Hill
2000	Andrew Yao		En reconocimiento de sus contribuciones fundamentales a la teoría de la computación, incluyendo la teoría basada en la complejidad de la generación de números de pseudorandom, la criptografía y la complejidad de la comunicación.	Universidad de Stanford, University of California, Berkeley, Princeton University
2001	Ole-Johan Dahl		Para las ideas fundamentales para el surgimiento de la programación orientada al objeto, a través de su diseño de los lenguajes de programación Simula I y Simula 67.	Norwegian Computing Center
	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.	Massachusetts Institute of Technology
	Adi Shamir
	Leonard Adleman			University of Southern California
2003	Alan Kay		Para el pionero de muchas de las ideas en la raíz de los lenguajes de programación orientados a objetos contemporáneos, liderando el equipo que desarrolló Smalltalk y para contribuciones fundamentales a la computación personal.	University of Utah, PARC, Universidad de Stanford, Atari, Apple ATG, Walt Disney Imaginando, Viewpoints Research Institute, Laboratorios HP
2004	Vint Cerf		Para el trabajo pionero en el trabajo en internet, incluyendo el diseño e implementación de los protocolos de comunicación básicos de Internet, TCP/IP, y para el liderazgo inspirado en el networking.	University of California, Los Angeles, Stanford University, DARPA, MCI (ahora bajo Verizon), CNRI, Google
	Bob Kahn			MIT, Bolt Beranek y Newman, DARPA, CNRI
2005	Peter Naur		Para las contribuciones fundamentales al diseño del lenguaje de programación y la definición de ALGOL 60, al diseño del compilador, y al arte y la práctica de la programación informática.	Regnecentralen (ahora bajo Fujitsu), University of Copenhagen
2006	Frances Allen		Para las contribuciones pioneras a la teoría y práctica de optimizar las técnicas de compilador que sentaron las bases para la optimización moderna de los compiladores y la ejecución paralela automática.	IBM
2007	Edmund M. Clarke		Para su papel en la elaboración de modelos de verificación en una tecnología de verificación altamente eficaz, ampliamente adoptada en las industrias de hardware y software.	Harvard University, Carnegie Mellon University
	E. Allen Emerson			Harvard University
	Joseph Sifakis			French National Centre for Scientific Research
2008	Barbara Liskov		Para las contribuciones a los fundamentos prácticos y teóricos del diseño de lenguaje y sistema de programación, especialmente relacionados con la abstracción de datos, la tolerancia a fallas y el cálculo distribuido.	Massachusetts Institute of Technology
2009	Charles P. Thacker		Para su diseño pionero y realización del Xerox Alto, el primer ordenador personal moderno, y además para sus contribuciones al Ethernet y el Tablet PC.	PARC, DEC, Microsoft Research
2010	Leslie Valiant		Para las contribuciones transformadoras 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.	Harvard University
2011	Judea Pearl		For fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning.	University of California, Los Angeles New Jersey Institute of Technology
2012	Silvio Micali		Para el trabajo transformador que sentó las bases teóricas de complejidad para la ciencia de la criptografía y en el proceso pioneros nuevos métodos para la verificación eficiente de las pruebas matemáticas en la teoría de la complejidad.	Massachusetts Institute of Technology
	Shafi Goldwasser			Massachusetts Institute of Technology, Weizmann Institute of Science
2013	Leslie Lamport		Para contribuciones fundamentales a la teoría y 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 estatales replicadas y consistencia secuencial.	Massachusetts Computer Associates (ahora bajo Essig PLM), SRI International, DEC, Compaq (ahora bajo HP), Microsoft Research
2014	Michael Stonebraker		For fundamental contributions to the concepts and practices underlying modern database systems.	University of California, Berkeley, Massachusetts Institute of Technology
2015	Whitfield Diffie		Para contribuciones fundamentales a la criptografía moderna. Diffie y el innovador documento de 1976 de Hellman, "New Directions in Cryptography", presentaron las ideas de la criptografía de clave pública y las firmas digitales, que son la base para protocolos de seguridad más usados regularmente en Internet hoy.	Stanford University
	Martin Hellman
2016	Tim Berners-Lee		Para inventar la World Wide Web, el primer navegador web, y los protocolos y algoritmos fundamentales que permiten a la Web escalar.	CERN, Massachusetts Institute of Technology, World Wide Web Consortium
2017	John L. Hennessy		Para pioneros de un enfoque sistemático y cuantitativo del diseño y evaluación de arquitecturas informáticas con un impacto duradero en la industria del microprocesador.	Stanford University
	David Patterson			University of California, Berkeley
2018	Yoshua Bengio		Para los avances conceptuales e ingenieros que han hecho de las redes neurales profundas un componente crítico de la informática.	Université de Montréal, McGill University, Mila
	Geoffrey Hinton			University of Toronto, University of California, San Diego, Universidad Carnegie Mellon, University College London, University of Edinburgh, Google AI
	Yann LeCun			Laboratorios Bell, Universidad de Nueva York, Meta AI
2019	Edwin Catmull		Para las contribuciones fundamentales a los gráficos computarizados 3-D, y el impacto revolucionario de estas técnicas sobre las imágenes generadas por ordenador (CGI) en la fabricación de películas y otras aplicaciones.	University of Utah, Pixar, Walt Disney Animation Studios
	Pat Hanrahan			Pixar, Princeton University, Stanford University
2020	Alfred Aho		Para algoritmos fundamentales y teoría subyacente en la implementación del lenguaje de programación y para sintetizar estos resultados y los de otros en sus libros altamente influyentes, que educaron generaciones de científicos informáticos.	Laboratorios Bell, Columbia University
	Jeffrey Ullman			Laboratorios Bell, Princeton University, Stanford University
2021	Jack Dongarra		Para las contribuciones pioneras a algoritmos numéricos y bibliotecas que permitieron el software computacional de alto rendimiento para mantener el ritmo con mejoras de hardware exponenciales durante más de cuatro décadas.	Laboratorio Nacional Argonne, Laboratorio Nacional Oak Ridge, University of Manchester, Instituto Universitario de Estudios Avanzados de Texas A.M. University of Tennessee, Rice University