¿Qué es el Premio Spirit?

A.M. Turing es uno de los inventores de las computadoras modernas. El Premio Turing lo otorga anualmente la Association for Computing Machinery (ACM) a personas que han logrado logros significativos y de gran alcance en el campo de la informática. La lotería se ganó en 1966 y normalmente solo hay un ganador cada año. El Premio Turing otorga un premio de 654,38 millones de dólares estadounidenses cada año y lo otorga Intel Corporation de Estados Unidos. Conocido como el "Premio Nobel de Ciencias de la Computación", hasta ahora 36 científicos han recibido este honor.

Ganadores anteriores del Premio Turing

Fuente: Yixian Channel.

1966 A.J. Perlis fue premiado por sus contribuciones a la tecnología de programación y arquitectura de compilación de nueva generación.

1967 Maurice V. Wilkes recibe el premio por diseñar el primer ordenador con programas almacenados integrados.

1968 Richard W. Hamming recibe el Premio Turing por sus contribuciones a los métodos de conteo, sistemas de codificación automática, detección y corrección de errores.

1969 Marvin Minsky (datos en blanco)

1970 Premio J.H. Wilkinson por la investigación que utiliza métodos de análisis numérico para promover la aplicación de computadoras digitales de alta velocidad.

John McCarthy recibió el Premio Turing por sus contribuciones a la inteligencia artificial.

1972 Edsger W. Dijkstra recibe el premio a la excelencia en lenguajes de programación.

1973 Charles W. Bachman recibió el premio por sus destacadas contribuciones a las bases de datos.

1974 Donald E. Knuth ganó el premio por el diseño y finalización de TEX, una innovadora herramienta de producción de documentos con alta calidad tipográfica.

1975 Allen Newell y Herbert A. Simon reciben el premio por su investigación fundamental en inteligencia artificial, reconocimiento mental humano y procesamiento de listas.

1976 Michael O. Robin y Dana S. Scott propusieron en su artículo "Finite Automata and Their Decision Problems" el premio por el valioso concepto de máquinas no deterministas.

1977 John Backus recibió el premio por su profundo y significativo impacto en el diseño de sistemas de programación de alto nivel existentes.

Robert W. Freud recibió este premio en 1978 por su profundo impacto en los algoritmos de programación de software y la creación de muchas subdisciplinas informáticas, incluida la teoría del análisis, la semántica de los lenguajes de programación, la inspección automática de programas, la programación automática. síntesis y análisis de algoritmos.

1979 Kenneth E. Iverson recibió el premio por sus contribuciones a la teoría de los lenguajes de programación, los sistemas interactivos y APL.

1980 C. Anthony R. Hoare recibe el premio por sus aportaciones a la definición y diseño de lenguajes de programación.

1981 Premio Edgar F. Codd por sus contribuciones a la teoría y práctica de los sistemas de gestión de bases de datos.

1982 Steven A. Cook recibió el premio por sentar las bases de la teoría de la completitud NP.

1983 Ken Thompson y Dennis M. Ritchie recibieron el premio por sus destacadas contribuciones a la teoría general de los sistemas operativos, especialmente la promoción del sistema operativo UNIX.

En 1984, Nicholas Voss ganó el premio por desarrollar una serie de nuevos lenguajes informáticos como Euler, ALGOL-W, MODULA y PASCAL.

1985 Richard M. Karp recibe el premio por sus aportaciones a la teoría de algoritmos.

1986 John E. Hopcroft recibe el premio por sus logros decisivos en el diseño y análisis de algoritmos y estructuras de datos.

1987 John Coker recibió el premio por sus contribuciones a los lenguajes de programación orientados a objetos y sus habilidades de programación relacionadas.

1988 Ivan E. Sutherland recibió el premio por sus contribuciones a la infografía.

1989 William V. Kahan recibe el premio por sus aportaciones al análisis numérico.

1990 Fernando J. Corbato fue premiado por su contribución al desarrollo de sistemas informáticos multifuncionales a gran escala como CTSS y Multics que aprovecharon tiempo y recursos.

1991 Robin Milner fue premiado por sus contribuciones a la lógica de funciones computables (LCF), ML y la teoría del paralelismo (CCS).

1992 Butler Lampson recibió el premio por sus contribuciones a los sistemas informáticos personales distribuidos.

1993 Jurlis Hartmanis y Richard E. Stearns recibieron el premio por sentar las bases de la teoría de la complejidad computacional.

1994 Rey Reti y Edward Feigenbaum reciben el premio por su investigación pionera sobre sistemas de inteligencia artificial a gran escala.

En 1995, Manuel Blum recibió el premio por sentar las bases de la teoría de la complejidad computacional y por sus contribuciones a la criptografía y la verificación de programas.

1996 Amir Bernoulli recibió el premio por su introducción de la lógica ad hoc y su contribución a la verificación de programas y sistemas.

1997 Douglas Engelbart recibió el premio por proponer el concepto de informática interactiva y crear tecnologías importantes para realizar este concepto.

1998 James Gray recibió el premio por sus destacadas contribuciones a las bases de datos y el procesamiento de transacciones.

En 2000, Yao Qizhi recibió el premio por sus numerosas contribuciones "fundamentales y significativas" a la teoría de la informática.