http://es.wikipedia.org/wiki/Premio_Turing

El Premio Turing es considerado por muchos como el Premio Nobel de la
Informática. 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, la cual aporta una bolsa de cien 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 [editar]
Galardonados con el Premio Turing Año Nombre(s) Motivo
1966 Estadounidense Alan Perlis Por su influencia en las áreas de técnicas de
programación avanzadas y construcción de compiladores.
1967 Británico Maurice V. Wilkes Por el diseño y construcción de EDSAC, la
primera computadora de programa almacenado en memoria interna.
1968 Estadounidense 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 Estadounidense Marvin Minsky Por sus aportaciones en inteligencia
artificial.
1970 Británico J.H. Wilkinson Por sus investigaciones en análisis numérico para
facilitar el uso de computadores digitales de alta velocidad.
1971 Estadounidense John McCarthy Por sus aportaciones al campo de inteligencia
artificial.
1972 Holandés Edsger Dijkstra Por sus contribución a la "ciencia y arte" de los
lenguajes de programación.
1973 Estadounidense Charles W. Bachman Por sus aportaciones a la tecnología de
bases de datos.
1974 Estadounidense Donald Erwin Knuth Por sus contribuciones a análisis de
algoritmos y el diseño de lenguajes de programación.
1975 Estadounidense Allen Newell

Estadounidense Herbert A. Simon
Por sus aportaciones en inteligencia artificial, la psicología de la percepción
humana y procesamiento de listas.
1976 Alemán Michael O. Rabin

Estadounidense Dana S. Scott
Por su trabajo en autómatas finitos, introduciendo la idea de máquinas no
deterministas.
1977 Estadounidense 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 Estadounidense Robert W. Floyd Por su influencia en metodologías para la
creación de software eficiente y fiable, y por sus aportaciones 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 Canadiense Kenneth E. Iverson Por sus pioneros esfuerzos en lenguajes de
programación y notación matemática, dando como resultado APL.
1980 Británico C. Antony R. Hoare Por sus importantes contribuciones a la
definición y diseño de lenguajes de programación.
1981 Británico Edgar F. Codd Por sus continuas e importantes aportaciones 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 Estadounidense Stephen A. Cook Por sus aportaciones en el campo de la
complejidad computacional. Ideó los fundamentos de la teoría de NP-completitud.
1983 Estadounidense Ken Thompson

Estadounidense Dennis M. Ritchie
Por sus contribuciones al desarrollo de sistemas operativos en general y la
creación de Unix en particular.
1984 Suizo Niklaus Wirth Por el desarrollo de una serie de innovadores lenguajes
de programación como EULER, ALGOL-W, MODULA y PASCAL.
1985 Estadounidense 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 Estadounidense John Hopcroft

Estadounidense Robert Tarjan
Por sus logros en el análisis y diseño de algoritmos y estructuras de datos.
1987 Estadounidense John Cocke Por su aportación a la teoría de compiladores,
arquitectura de grandes sistemas y el desarrollo de juego de instrucciones
reducido RISC.
1988 Estadounidense Ivan Sutherland Por sus aportaciones a la computación
gráfica.
1989 Canadiense William (Velvel) Kahan Por sus contribuciones al análisis
numérico, particularmente en computación en coma flotante.
1990 Estadounidense Fernando J. Corbató Por su trabajo liderando el desarrollo
de CTSS y Multics.
1991 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.
* 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 Estadounidense Butler W. 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 Estadounidense Juris Hartmanis

Estadounidense Richard E. Stearns
Por establecer los fundamentos del campo de la teoría de complejidad
computacional.
1994 Estadounidense Edward Feigenbaum

Estadounidense Raj Reddy
Por el diseño y construcción de grandes sistemas de inteligencia artificial.
1995 Venezolano Manuel Blum En reconocimiento por sus aportaciones a los
fundamentos de la teoría de complejidad computacional y su aplicabilidad a la
criptografía.
1996 Israelí Amir Pnueli Por su trabajo introduciendo la lógica temporal en
informática y por sus importantes aportaciones a la verificación de programas y
sistemas.
1997 Estadounidense Douglas Engelbart Por su trabajo en computación interactiva.
1998 Estadounidense James Gray Por sus contribuciones en bases de datos,
investigación en el procesamiento de transacciones e implementación de sistemas.
1999 Estadounidense Frederick P. Brooks, Jr. Por sus contribuciones a
arquitectura de computadores, sistemas operativos e ingeniería del software.
2000 Chino Andrew Chi-Chih Yao En reconocimiento de sus importantes aportaciones
a la teoría de la computación, criptografía.
2001 Noruego Ole-Johan Dahl

Noruego 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 Estadounidense Ronald Rivest

Israelí Adi Shamir
Estadounidense Leonard Adleman
Importantes aportaciones a la criptografía, en particular el algoritmo RSA.
2003 Estadounidense Alan Kay Pionero de la programación orientada a objetos y
padre del lenguaje Smalltalk.
2004 Estadounidense Vinton G. Cerf

Estadounidense Robert E. Kahn
Por el protocolo TCP/IP.
2005 Danés 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 Estadounidense 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.