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.
Galardonados +Galardonados con el Premio Turing Año País NombresFoto Motivo196623px|EstadounidenseAlan PerlisPor su influencia en las áreas de técnicas de programación avanzadas y construcción de compiladores.1967 23px|Británico Maurice Wilkesalt=|sinmarco|80x80pxPor el diseño y construcción de EDSAC, la primera computadora de programa almacenado en memoria interna.1968 23px|Estadounidense Richard HammingPor 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 23px|Estadounidense Marvin Minskyalt=|sinmarco|80x80pxPor sus aportes en inteligencia artificial.1970 23px|Británico James H. WilkinsonPor sus investigaciones en análisis numérico para facilitar el uso de computadores digitales de alta velocidad.197123px|Estadounidense John McCarthysinmarco|93x93pxPor sus aportes al campo de inteligencia artificial.1972 23px|Holandés Edsger Dijkstrasinmarco|107x107pxPor sus contribuciones a la «ciencia y arte» de los lenguajes de programación.1973 23px|Estadounidense Charles Bachmansinmarco|122x122pxPor sus aportes a la tecnología de bases de datos.1974 23px|Estadounidense Donald Knuthsinmarco|95x95pxPor sus contribuciones a análisis de algoritmos y el diseño de lenguajes de programación.197523px|EstadounidenseAllen NewellPor sus aportes en inteligencia artificial, la psicología de la percepción humana y procesamiento de listas.23px|EstadounidenseHerbert Alexander Simonsinmarco|119x119px197623px|Alemán Michael Oser Rabinsinmarco|118x118pxPor su trabajo en autómatas finitos, introduciendo la idea de máquinas no deterministas.23px|Estadounidense|alt=|sinmarcoDana Scottsinmarco|104x104px1977 23px|Estadounidense John Backus sinmarco|120x120px 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 23px|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 23px|Canadiense Kenneth E. Iverson sinmarco|sinmarco|122x122px Por sus pioneros esfuerzos en lenguajes de programación y notación matemática, dando como resultado APL.1980 23px|Británico C. Antony R. Hoare sinmarco|80x80px Por sus importantes contribuciones a la definición y diseño de lenguajes de programación.1981 23px|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 23px|Estadounidense Stephen A. Cook sinmarco|131x131px Por sus aportes en el campo de la complejidad computacional. Ideó los fundamentos de la teoría de NP-completitud.1983 23px|Estadounidense Kenneth L. Thompson sinmarco|93x93px Por sus contribuciones al desarrollo de sistemas operativos en general y la creación de Unix en particular. 23px|Estadounidense Dennis M. Ritchie sinmarco|103x103px1984 23px|Suizo Niklaus Wirth sinmarco|102x102px Por el desarrollo de una serie de innovadores lenguajes de programación como EULER, ALGOL-W, MODULA y PASCAL.1985 23px|Estadounidense Richard M. Karp sinmarco|80x80px 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 23px|Estadounidense John Hopcroft sinmarco|103x103px Por sus logros en el análisis y diseño de algoritmos y estructuras de datos. 23px|Estadounidense Robert Tarjan sinmarco|119x119px1987 23px|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 23px|Estadounidense Ivan Sutherland sinmarco|107x107px Por sus aportes a la computación gráfica.1989 23px|Canadiense William (Velvel) Kahan sinmarco|109x109px Por sus contribuciones al análisis numérico, particularmente en computación en coma flotante.1990 23px|Estadounidense Fernando J. Corbató sinmarco|94x94px Por su trabajo liderando el desarrollo de CTSS y Multics.1991 23px|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.