Diferencia entre revisiones de «Premio Turing»
Apariencia
Contenido eliminado Contenido añadido
Borro vandalismo |
m Revertido a la revisión 30957869 hecha por 200.110.221.98. (TW) |
||
Línea 203: | Línea 203: | ||
|[[Archivo:Flag of the United States.svg|23px|Estadounidense]] [[Barbara H. Liskov]] |
|[[Archivo:Flag of the United States.svg|23px|Estadounidense]] [[Barbara H. 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. |
|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]] |
|||
|[[Archivo:Flag of Argentina.svg|23px|Argentino]] [[Don Guti]] |
|||
|Por su contribución a los fundamentos teóricos y prácticos en la risa monosilábica. |
|||
|} |
|} |
Revisión del 17:25 29 oct 2009
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 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
Año | Nombre(s) | Motivo |
---|---|---|
1966 | ![]() |
Por su influencia en las áreas de técnicas de programación avanzadas y construcción de compiladores. |
1967 | ![]() |
Por el diseño y construcción de EDSAC, la primera computadora de programa almacenado en memoria interna. |
1968 | ![]() |
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 | ![]() |
Por sus aportes en inteligencia artificial. |
1970 | ![]() |
Por sus investigaciones en análisis numérico para facilitar el uso de computadores digitales de alta velocidad. |
1971 | ![]() |
Por sus aportes al campo de inteligencia artificial. |
1972 | ![]() |
Por sus contribución a la "ciencia y arte" de los lenguajes de programación. |
1973 | ![]() |
Por sus aportes a la tecnología de bases de datos. |
1974 | ![]() |
Por sus contribuciones a análisis de algoritmos y el diseño de lenguajes de programación. |
1975 | ![]() |
Por sus aportes en inteligencia artificial, la psicología de la percepción humana y procesamiento de listas. |
1976 | ![]() |
Por su trabajo en autómatas finitos, introduciendo la idea de máquinas no deterministas. |
1977 | ![]() |
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 | ![]() |
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 | ![]() |
Por sus pioneros esfuerzos en lenguajes de programación y notación matemática, dando como resultado APL. |
1980 | ![]() |
Por sus importantes contribuciones a la definición y diseño de lenguajes de programación. |
1981 | ![]() |
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 | ![]() |
Por sus aportes en el campo de la complejidad computacional. Ideó los fundamentos de la teoría de NP-completitud. |
1983 | ![]() |
Por sus contribuciones al desarrollo de sistemas operativos en general y la creación de Unix en particular. |
1984 | ![]() |
Por el desarrollo de una serie de innovadores lenguajes de programación como EULER, ALGOL-W, MODULA y PASCAL. |
1985 | ![]() |
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 | ![]() |
Por sus logros en el análisis y diseño de algoritmos y estructuras de datos. |
1987 | ![]() |
Por su aporte a la teoría de compiladores, arquitectura de grandes sistemas y el desarrollo de juego de instrucciones reducido RISC. |
1988 | ![]() |
Por sus aportes a la computación gráfica. |
1989 | ![]() |
Por sus contribuciones al análisis numérico, particularmente en computación en coma flotante. |
1990 | ![]() |
Por su trabajo liderando el desarrollo de CTSS y Multics. |
1991 | ![]() |
Por tres logros:
|
1992 | ![]() |
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 | ![]() |
Por establecer los fundamentos del campo de la teoría de complejidad computacional. |
1994 | ![]() |
Por el diseño y construcción de grandes sistemas de inteligencia artificial. |
1995 | ![]() |
En reconocimiento por sus aportes a los fundamentos de la teoría de complejidad computacional y su aplicabilidad a la criptografía. |
1996 | ![]() |
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 | ![]() |
Por su trabajo en computación interactiva. |
1998 | ![]() |
Por sus contribuciones en bases de datos, investigación en el procesamiento de transacciones e implementación de sistemas. |
1999 | ![]() |
Por sus contribuciones a arquitectura de computadores, sistemas operativos e ingeniería del software. |
2000 | ![]() |
En reconocimiento de sus importantes aportes a la teoría de la computación, criptografía. |
2001 | ![]() |
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 | ![]() |
Importantes aportes a la criptografía, en particular el algoritmo RSA. |
2003 | ![]() |
Pionero de la programación orientada a objetos y padre del lenguaje Smalltalk. |
2004 | ![]() |
Por el protocolo TCP/IP. |
2005 | ![]() |
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 | ![]() |
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 | ![]() |
Por 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 | ![]() |
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 | ![]() |
Por su contribución a los fundamentos teóricos y prácticos en la risa monosilábica. |
Número de galardones por nacionalidad
Esta es la distribución de los Premios Turing desde 1966 hasta 2007. Las nacionalidades de los galardonados están basadas en su lugar de nacimiento, no donde desarrollaron su trabajo como investigadores.
- EE. UU.: 35
- 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
Enlaces externos
- Sitio oficial del Premio Turing (en inglés).