Premio Turing
| Premio Turing | |
 Estatua de Alan Turing en Bletchley Park . | |
| Nombre original | Premio ACM Turing |
|---|---|
| Organizador | Asociación para Maquinaria de Computación |
| Fecha de creación | 1966 |
El Premio Turing o Premio ACM Turing , en homenaje a Alan Turing (1912-1954), se otorga todos los años desde 1966 a una persona seleccionada por su contribución de carácter técnico a la comunidad informática . Las contribuciones deben ser de gran importancia técnica y duradera en el campo de las tecnologías de la información.
Organización y financiación
El premio es presentado por la Association for Computing Machinery (ACM).
Este premio fue creado por el Laboratorio de Investigación Arquitectónica y Tecnologías Estratégicas de InterTrust Technologies Corporation (STAR Lab) . A veces se considera que es el equivalente al premio Nobel de informática. De 2007 a 2013, el ganador de este premio recibió la suma de USD 250.000 (parte de la cual fue ofrecida por Intel y Google ).
Desde 2014, la suma otorgada ha sido de $ 1 millón, ofrecida por Google .
Laureados
| Año | Nombre (s) | Motivación (es) |
|---|---|---|
| 1966 | Alan J. Perlis ( Estados Unidos ) | Construcción de compiladores . |
| 1967 | Maurice Wilkes ( Reino Unido ) | Biblioteca de software . |
| 1968 | Richard Hamming ( Estados Unidos ) | Métodos numéricos, sistemas de codificación automática, detección y corrección de errores . |
| 1969 | Marvin Minsky ( Estados Unidos ) | Inteligencia artificial . |
| 1970 | James H. Wilkinson ( Reino Unido ) | Análisis numérico, álgebra lineal, análisis de errores hacia atrás. |
| 1971 | John McCarthy ( Estados Unidos ) | Inteligencia artificial . |
| 1972 | Edsger Dijkstra ( Países Bajos ) | La ciencia y el arte de los lenguajes de programación, lenguaje ALGOL . |
| 1973 | Charles Bachman ( Estados Unidos ) | Bases de datos tecnológicas . |
| 1974 | Donald Knuth ( Estados Unidos ) | Análisis de algoritmos y diseño de lenguajes de programación |
| 1975 | Allen Newell ( Estados Unidos ) y Herbert A. Simon ( Estados Unidos ) | Inteligencia artificial , psicología del entendimiento humano, procesamiento de listas. |
| 1976 | Michael Rabin ( Israel ) y Dana S. Scott ( Estados Unidos ) | Máquina no determinista. Ver Máquina de Turing no determinista . |
| 1977 | John Backus ( Estados Unidos ) | Sistemas de programación de alto nivel, procedimientos formales para la especificación de lenguajes de programación, lenguaje FORTRAN . |
| 1978 | Robert Floyd ( Estados Unidos ) | Metodologías para la creación de software eficiente y confiable. |
| 1979 | Kenneth Iverson ( Canadá ) | Lenguajes de programación y notación matemática, implementación de sistemas interactivos, uso educativo de APL, teoría y práctica del lenguaje de programación. |
| 1980 | Charles AR Hoare ( Reino Unido ) | Definición y diseño de lenguajes de programación. |
| 1981 | Edgar Frank Codd ( Reino Unido ) | Sistemas de gestión de bases de datos , en particular bases de datos relacionales. |
| mil novecientos ochenta y dos | Stephen Cook ( Estados Unidos ) | Complejidad del cálculo por computadora. |
| 1983 | Kenneth Thompson ( Estados Unidos ) y Dennis Ritchie ( Estados Unidos ) | Teoría de sistemas operativos , implementación del sistema UNIX . |
| 1984 | Niklaus Wirth ( Suiza ) | Desarrollo de lenguajes EULER , Algol W , MODULA y PASCAL . |
| 1985 | Richard Karp ( Estados Unidos ) | Teoría de algoritmos, NP-completitud. |
| 1986 | John Hopcroft ( Estados Unidos ) y Robert Tarjan ( Estados Unidos ) | Creación y análisis de estructuras de datos. |
| 1987 | John Cocke ( Estados Unidos ) | Teoría del compilador, arquitectura de mainframe, invención de arquitecturas RISC . |
| 1988 | Ivan Sutherland ( Estados Unidos ) | Diseño asistido por computadora (CAD). |
| 1989 | William Kahan ( Canadá ) | Análisis numérico. |
| 1990 | Fernando Corbató ( Estados Unidos ) | Aplicaciones distribuidas, creación de CTSS y Multics . |
| 1991 | Robin Milner ( Reino Unido ) | Sistema de prueba formal Lógica para funciones computables (en) , ML , Cálculo de sistemas comunicantes (CCS) (en) . |
| 1992 | Butler Lampson ( Estados Unidos ) | Entornos distribuidos personales. |
| 1993 | Juris Hartmanis ( Estados Unidos ) y Richard Stearns ( Estados Unidos ) | Teoría de la complejidad (informática teórica) . |
| 1994 | Edward Feigenbaum ( Estados Unidos ) y Raj Reddy ( India ) | Sistemas de inteligencia artificial a gran escala. |
| 1995 | Manuel Blum ( Venezuela ) | Teoría de la complejidad aplicada a la criptografía y verificación de programas. |
| 1996 | Amir Pnueli ( Israel ) | Lógica de tiempos y verificación de programas y sistemas. |
| 1997 | Douglas Engelbart ( Estados Unidos ) | Computación interactiva. |
| 1998 | James Gray ( Estados Unidos ) | Bases de datos y procesamiento de transacciones. |
| 1999 | Frederick Brooks ( Estados Unidos ) | Arquitectura informática, sistemas operativos y software. |
| 2000 | Andrew Yao ( China ) | Teoría de la computabilidad, generación de números pseudoaleatorios, criptografía y complejidad de la comunicación . |
| 2001 | Ole-Johan Dahl ( Noruega ) y Kristen Nygaard ( Noruega ) | Programación orientada a objetos y creación de lenguajes Simula I y Simula 67 . |
| 2002 | Ronald L. Rivest ( Estados Unidos ), Adi Shamir ( Israel ) y Leonard M. Adleman ( Estados Unidos ) | Criptografía de clave pública y sistema RSA . |
| 2003 | Alan Kay ( Estados Unidos ) | Programación orientada a objetos y creación del lenguaje Smalltalk . |
| 2004 | Vinton G. Cerf ( Estados Unidos ) y Robert E. Kahn ( Estados Unidos ) | Redes, TCP / IP . |
| 2005 | Peter Naur ( Dinamarca ) | Por contribuciones fundamentales al diseño de lenguajes de programación y la definición de Algol 60, por el diseño de compiladores y por el arte y la práctica de la programación informática . |
| 2006 | Frances Allen ( Estados Unidos ) | Optimización de compiladores. |
| 2007 | Edmund M. Clarke ( Estados Unidos ), Allen Emerson ( Estados Unidos ) y Joseph Sifakis ( Grecia / Francia ) | Por su trabajo en la verificación de modelos . |
| 2008 | Barbara Liskov ( Estados Unidos ) | Para el diseño de lenguajes de programación y metodología polimórfica. |
| 2009 | Charles P. Thacker ( Estados Unidos ) | Por el trabajo realizado a lo largo de su carrera incluida la Xerox Alto . |
| 2010 | Leslie Valiant ( Reino Unido ) | Para trabajar en aprendizaje (en particular aprendizaje PAC ), en teoría de la complejidad , en computación distribuida y paralela . |
| 2011 | Judea Pearl ( Israel / Estados Unidos ) | Por contribuciones fundamentales a la inteligencia artificial a través del desarrollo de análisis probabilístico y razonamiento causal . |
| 2012 | Silvio Micali ( Italia / Estados Unidos ) y Shafi Goldwasser ( Israel / Estados Unidos ) | Por su trabajo fundamental en criptología y verificación de pruebas, basado en la teoría de la complejidad . En particular, la introducción de sistemas de prueba interactivos (que condujeron al teorema PCP ). |
| 2013 | Leslie Lamport ( Estados Unidos ) | Por sus aportes fundamentales teóricos y aplicados en sistemas distribuidos y concurrentes, destacando la invención de conceptos como causalidad y relojes lógicos, […] y consistencia secuencial. |
| 2014 | Michael Stonebraker ( Estados Unidos ) | Contribuciones fundamentales para los sistemas de gestión de bases de datos ( DBMS ). Inventor de PostgreSQL . |
| 2015 | Whitfield Diffie ( Estados Unidos ) y Martin Hellman ( Estados Unidos ) | Por sus contribuciones a la criptografía contemporánea (creadores de la criptografía asimétrica ). |
| 2016 | Tim Berners-Lee ( Reino Unido ) | Por inventar la World Wide Web , el primer navegador web y los protocolos y algoritmos para escalar la web. |
| 2017 | David Patterson ( Estados Unidos ) y John Hennessy ( Estados Unidos ) | Por ser pionero en un enfoque sistemático y cuantitativo para el diseño y la evaluación de arquitecturas informáticas con un impacto duradero en la industria de los microprocesadores. |
| 2018 | Yann Le Cun ( Francia ), Yoshua Bengio ( Canadá ) y Geoffrey Hinton ( Canadá ) | Por los avances conceptuales y técnicos que han hecho de las redes neuronales profundas un componente esencial de la informática. |
| 2019 | Patrick Hanrahan ( Estados Unidos ) y Edwin Catmull ( Estados Unidos ) | Por sus contribuciones fundamentales a los gráficos tridimensionales por computadora y el impacto revolucionario de estas técnicas en los efectos especiales digitales en el cine y otras aplicaciones. |
| 2020 | Alfred Aho ( Canadá ) y Jeffrey Ullman ( Estados Unidos ) | Por los algoritmos y la teoría fundamentales que subyacen a la implementación de lenguajes de programación y por sintetizar estos y otros resultados en sus libros muy influyentes, que han capacitado a generaciones de científicos informáticos. |
Observaciones generales
El premio ha sido otorgado muchas veces a investigadores estadounidenses. El Premio Gödel y el Premio Donald E. Knuth son otros dos premios otorgados por la ACM para reconocer el trabajo en informática.
Notas y referencias
- (en) William L. Hosch, " Turing Award " on Britannica (consultado el 13 de abril de 2014 ) .
- (en) " AM Turing Award " en acm.org (consultado el 13 de abril de 2014 ) .
- " Yann LeCun, co-ganador del Premio Turing ", La Croix ,8 de abril de 2019( ISSN 0242-6056 , leído en línea , consultado el 30 de enero de 2020 )
- Tech tiempos , “ Google vueltas 'Premio Nobel' de las Ciencias de la Computación en $ 1 millón Premio, ” Tech tiempos ,14 de noviembre de 2014( leer en línea , consultado el 10 de enero de 2018 )
- " Ampliación del plazo de consulta sobre la política de gestión de datos de investigación. " , Sobre el Consejo de Investigación en Ciencias Naturales e Ingeniería del Consejo de Canadá (NSERC) (consultado el 19 de agosto de 2020 ) .
- Premio Turing 2013 .
- Premio Turing 2014 .
- "El pionero de la criptografía Whitfield Diffie recibe el premio ACM AM Turing 2015 " , en ACM .
- "El pionero de la criptografía Martin Hellman recibe el premio ACM AM Turing 2015 " , en ACM .
- Sir Tim Berners-Lee, inventor de la World Wide Web, Premio ACM AM Turing
- [Israel 2018] (In) Brett Israel, " David Patterson, pionero de la arquitectura informática moderna recibe el premio Turing " ["David Patterson, un pionero de la arquitectura informática moderna, galardonado con el Turing"], Berkeley News , Universidad de California en Berkeley ,21 de marzo de 2018( leer en línea )
- " Yann LeCun, ganador del Premio Turing:" La IA sigue progresando enormemente " ", Le Monde ,27 de marzo de 2019( leer en línea , consultado el 27 de marzo de 2019 )
- (en) " 2019 ACM AM Turing Award Laureates " en awards.acm.org (consultado el 22 de marzo de 2020 ) .
- (en) " 2020 ACM AM Turing Award Laureates " en awards.acm.org ,31 de marzo de 2021(consultado el 1 st 04 2021 ) .