- 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 tributo a Alan Mathison Turing y actualmente es patrocinado por la empresa Intel y Google, que aportan una bolsa de 250 mil dólares estadounidenses al ganador. Tras 40 años de existencia, en 2006 se otorgó el galardón a la primera mujer, Frances Allen.
Galardonados
Galardonados con el Premio Turing Año País 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 SimonPor sus aportes en inteligencia artificial, la psicología de la percepción humana y procesamiento de listas. 1976 
Michael Oser Rabin
Dana ScottPor 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. RitchiePor 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 TarjanPor 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 StearnsPor establecer los fundamentos del campo de la teoría de complejidad computacional. 1994
Edward Feigenbaum
Raj ReddyPor 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 NygaardPor 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 AdlemanImportantes 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 KahnPor 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 SifakisPor 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. Número de galardones por nacionalidad
Esta es la distribución de los Premios Turing desde 1966 hasta 2009. Las nacionalidades de los galardonados están basadas en su lugar de nacimiento, no donde desarrollaron su trabajo como investigadores.
- EE. UU.: 37
- Reino Unido: 6
- Israel: 3
- Noruega: 2
- Canadá: 2
- China: 1
- Dinamarca: 1
- Letonia: 1
- Países Bajos: 1
- Suiza: 1
- Venezuela: 1
- Grecia: 1
- India: 1
Enlaces externos
- Sitio oficial del Premio Turing (en inglés).
Wikimedia foundation. 2010.
