Premio Turing -Turing Award
Premio ACM Turing | |
---|---|
Otorgado por | Contribuciones destacadas en informática. |
País | Estados Unidos |
Presentado por | Asociación de Maquinaria de Computación (ACM) |
Recompensa(s) | 1.000.000 dólares estadounidenses |
Primer premio | 1966 |
Último premio | 2022 |
Sitio web | amturing |
El premio ACM AM Turing es un premio anual otorgado por la Association for Computing Machinery (ACM) por contribuciones de gran importancia técnica y duradera a la informática . Generalmente se reconoce como la distinción más alta en informática y se conoce coloquialmente como el " Premio Nobel de Informática ".
El premio lleva el nombre de Alan Turing , quien fue un matemático británico y lector de matemáticas en la Universidad de Manchester . A Turing a menudo se le atribuye el mérito de ser el fundador clave de la informática teórica y la inteligencia artificial . De 2007 a 2013, el premio estuvo acompañado de un premio adicional de 250 000 dólares estadounidenses, con el apoyo financiero de Intel y Google. Desde 2014, el premio va acompañado de un premio de 1 millón de dólares, con el apoyo financiero de Google.
El primer destinatario, en 1966, fue Alan Perlis , de la Universidad Carnegie Mellon . La primera mujer ganadora fue Frances E. Allen de IBM en 2006. El último receptor, en 2022, es Robert Metcalfe por inventar Ethernet .
Destinatarios
Año | Destinatarios | Foto | Razón fundamental | Instituto(s) afiliado(s) |
---|---|---|---|---|
1966 | alan perlis | Por su influencia en el área de técnicas avanzadas de programación informática y construcción de compiladores . | Universidad de Carnegie mellon | |
1967 | maurice wilkes | Wilkes es mejor conocido como el constructor y diseñador de EDSAC , la primera computadora con un programa almacenado internamente . Construido en 1949, el EDSAC utilizó una memoria de línea de retardo de mercurio . También es conocido como el autor, con Wheeler y Gill, de un volumen sobre "Preparación de programas para computadoras digitales electrónicas" en 1951, en el que se introdujeron efectivamente las bibliotecas de programas . | Universidad de Cambridge | |
1968 | ricardo hamming | Por su trabajo sobre métodos numéricos , sistemas de codificación automática y códigos de detección y corrección de errores. | laboratorios de campana | |
1969 | marvin minski | Por su papel central en la creación, formación, promoción y avance del campo de la inteligencia artificial . | Instituto de Tecnología de Massachusetts | |
1970 | James H Wilkinson | Por su investigación en análisis numérico para facilitar el uso de la computadora digital de alta velocidad, habiendo recibido un reconocimiento especial por su trabajo en cómputos en álgebra lineal y análisis de errores "hacia atrás". | Laboratorio Nacional de Física | |
1971 | Juan McCarthy | La conferencia de McCarthy "El estado actual de la investigación sobre inteligencia artificial" es un tema que cubre el área en la que ha logrado un reconocimiento considerable por su trabajo. | Universidad Stanford | |
1972 | Edsger W. Dijkstra | Edsger Dijkstra fue uno de los principales contribuyentes a fines de la década de 1950 al desarrollo de ALGOL , un lenguaje de programación de alto nivel que se ha convertido en un modelo de claridad y rigor matemático. Es uno de los principales defensores de la ciencia y el arte de los lenguajes de programación en general y ha contribuido en gran medida a nuestra comprensión de su estructura, representación e implementación. Sus quince años de publicaciones abarcan desde artículos teóricos sobre teoría de grafos hasta manuales básicos, textos expositivos y contemplaciones filosóficas en el campo de los lenguajes de programación. |
Centrum Wiskunde & Informatica , Universidad Tecnológica de Eindhoven , Universidad de Texas en Austin |
|
1973 | charles bachmann | Por sus destacadas contribuciones a la tecnología de bases de datos . | Laboratorio de investigación de General Electric (ahora bajo Groupe Bull , una empresa de Atos ) | |
1974 | donald knuth | Por sus importantes contribuciones al análisis de algoritmos y al diseño de lenguajes de programación, y en particular por sus aportes a " El Arte de la Programación de Computadoras " a través de sus conocidos libros en una serie continua con este título. |
Instituto de Tecnología de California , Centro de Investigación de Comunicaciones, Centro de Comunicaciones y Computación, Instituto de Análisis de Defensa , Universidad de Stanford |
|
1975 | allen newell | En esfuerzos científicos conjuntos que se extienden durante veinte años, inicialmente en colaboración con JC Shaw en RAND Corporation , y posteriormente con numerosos profesores y colegas estudiantes en la Universidad Carnegie Mellon , han realizado contribuciones básicas a la inteligencia artificial, la psicología de la cognición humana y enumeran Procesando. |
Corporación RAND , Universidad Carnegie Mellon |
|
Herbert A. Simón | ||||
1976 | Michael O. Rabin | Por su artículo conjunto "Autómatas finitos y su problema de decisión", que introdujo la idea de máquinas no deterministas , una fuente continua de inspiración para el trabajo posterior en este campo. | Universidad de Princeton | |
dana scott | Universidad de Chicago | |||
1977 | Juan Backus | Por contribuciones profundas, influyentes y duraderas al diseño de sistemas prácticos de programación de alto nivel, especialmente a través de su trabajo en FORTRAN , y por la publicación fundamental de procedimientos formales para la especificación de lenguajes de programación . | IBM | |
1978 | robert w floyd | Por tener una clara influencia en las metodologías para la creación de software eficiente y confiable, y por ayudar a fundar los siguientes subcampos importantes de la informática : la teoría del análisis sintáctico , la semántica de los lenguajes de programación, la verificación automática de programas , la síntesis automática de programas y el análisis. de algoritmos . |
Universidad Carnegie Mellon , Universidad de Stanford |
|
1979 | Kenneth E. Iverson | Por su esfuerzo pionero en lenguajes de programación y notación matemática que dio como resultado lo que el campo de la computación ahora conoce como APL , por sus contribuciones a la implementación de sistemas interactivos, a los usos educativos de APL y a la teoría y práctica de los lenguajes de programación. | IBM | |
1980 | tony hoare | Por sus aportes fundamentales a la definición y diseño de lenguajes de programación. |
Queen's University Belfast , Universidad de Oxford |
|
1981 | Edgar F Codd | Por sus contribuciones fundamentales y continuas a la teoría y la práctica de los sistemas de gestión de bases de datos, esp. bases de datos relacionales . | IBM | |
mil novecientos ochenta y dos | Esteban Cook | Por su avance en nuestra comprensión de la complejidad de la computación de una manera significativa y profunda. | Universidad de Toronto | |
1983 | ken thompson | Por su desarrollo de teoría genérica de sistemas operativos y específicamente por la implementación del sistema operativo UNIX . | laboratorios de campana | |
dennis ritchie | ||||
1984 | niklaus wirth | Para desarrollar una secuencia de lenguajes informáticos innovadores, EULER , ALGOL-W , Pascal , MODULA y Oberon . |
Universidad de Stanford , Universidad de Zúrich , ETH Zúrich |
|
1985 | Richard M Karp | Por sus continuas contribuciones a la teoría de algoritmos, incluido el desarrollo de algoritmos eficientes para el flujo de redes y otros problemas de optimización combinatoria, la identificación de la computabilidad en tiempo polinomial con la noción intuitiva de eficiencia algorítmica y, sobre todo, contribuciones a la teoría de NP -integridad . | Universidad de California, Berkeley | |
1986 | Juan Hopcroft | Por logros fundamentales en el diseño y análisis de algoritmos y estructuras de datos. | Universidad de Cornell | |
Roberto Tarjan |
Universidad de Stanford , Universidad de Cornell , Universidad de California, Berkeley , Universidad de Princeton |
|||
1987 | Juan Cocke | Por contribuciones significativas en el diseño y la teoría de compiladores, la arquitectura de grandes sistemas y el desarrollo de computadoras con conjunto de instrucciones reducido (RISC). | IBM | |
1988 | Iván Sutherland | Por sus contribuciones pioneras y visionarias a los gráficos por computadora , comenzando con Sketchpad y continuando después. |
Universidad de Stanford , Universidad de Harvard , Universidad de Utah , Instituto de Tecnología de California |
|
1989 | Guillermo Kahan | Por sus aportes fundamentales al análisis numérico . Uno de los principales expertos en cálculos de punto flotante . Kahan se ha dedicado a "hacer que el mundo sea seguro para los cálculos numéricos". | Universidad de California, Berkeley | |
1990 | Fernando J. Corbató | Por su trabajo pionero organizando los conceptos y liderando el desarrollo de los sistemas informáticos de propósito general, a gran escala, de tiempo compartido y de recursos compartidos, CTSS y Multics . | Instituto de Tecnología de Massachusetts | |
1991 | petirrojo milner | Por tres logros distintos y completos: 1) LCF , la mecanización de la Lógica de funciones computables de Scott, probablemente la primera herramienta teórica pero práctica para la construcción de pruebas asistida por máquina ; 2) ML , el primer lenguaje que incluye la inferencia de tipos polimórficos junto con un mecanismo de manejo de excepciones con seguridad de tipos ; 3) CCS , una teoría general de la concurrencia . Además, formuló y avanzó con fuerza la abstracción total , el estudio de la relación entre la semántica operativa y denotacional . |
Universidad de Stanford , Universidad de Edimburgo |
|
1992 | Mayordomo Lampson | Por contribuciones al desarrollo de entornos informáticos personales distribuidos y la tecnología para su implementación: estaciones de trabajo , redes , sistemas operativos , sistemas de programación, pantallas , seguridad y publicación de documentos . |
PARQUE , DIC |
|
1993 | juris hartmanis | En reconocimiento a su artículo seminal que estableció las bases para el campo de la teoría de la complejidad computacional . | Laboratorio de investigación de General Electric (ahora bajo Groupe Bull , una empresa de Atos ) | |
Richard E Stearns | ||||
1994 | Eduardo Feigenbaum | Por ser pionero en el diseño y construcción de sistemas de inteligencia artificial a gran escala, demostrando la importancia práctica y el impacto comercial potencial de la tecnología de inteligencia artificial. | Universidad Stanford | |
Raj Reddy |
Universidad de Stanford , Universidad Carnegie Mellon |
|||
1995 | manuel blum | En reconocimiento a sus contribuciones a los fundamentos de la teoría de la complejidad computacional y su aplicación a la criptografía y verificación de programas . | Universidad de California, Berkeley | |
1996 | Amir Pnueli | Por su trabajo seminal en la introducción de la lógica temporal en la informática y por sus destacadas contribuciones a la verificación de programas y sistemas . |
Universidad de Stanford , Universidad de Tel Aviv , Instituto Weizmann de Ciencias , Instituto Courant de Ciencias Matemáticas |
|
1997 | douglas engelbart | Para una visión inspiradora del futuro de la computación interactiva y la invención de tecnologías clave para ayudar a hacer realidad esta visión. |
SRI International , Tymshare , McDonnell Douglas , Instituto Bootstrap/Alliance, Instituto Doug Engelbart |
|
1998 | jim gris | Por contribuciones fundamentales a la investigación de bases de datos y procesamiento de transacciones y liderazgo técnico en la implementación del sistema. |
ibm , microsoft |
|
1999 | fred brooks | Por contribuciones históricas a la arquitectura informática , los sistemas operativos y la ingeniería de software. |
IBM , Universidad de Carolina del Norte en Chapel Hill |
|
2000 | andres yao | En reconocimiento a sus contribuciones fundamentales a la teoría de la computación , incluida la teoría basada en la complejidad de la generación de números pseudoaleatorios , la criptografía y la complejidad de la comunicación . |
Universidad de Stanford , Universidad de California, Berkeley , Universidad de Princeton |
|
2001 | Ole-Johan Dahl | Por ideas fundamentales para el surgimiento de la programación orientada a objetos , a través de su diseño de los lenguajes de programación Simula I y Simula 67 . |
Centro de Computación de Noruega , Universidad de Oslo |
|
kristen nygaard | ||||
2002 | ron rivest | Por su ingeniosa contribución para hacer que la criptografía de clave pública sea útil en la práctica. | Instituto de Tecnología de Massachusetts | |
adi shamir | ||||
leonard adleman | Universidad del Sur de California | |||
2003 | alan kay | Por ser pionero en muchas de las ideas en la raíz de los lenguajes de programación orientados a objetos contemporáneos , liderar el equipo que desarrolló Smalltalk y por sus contribuciones fundamentales a la informática personal. |
Universidad de Utah , PARC , Universidad de Stanford , Atari , Apple ATG , Walt Disney Imagineering , Viewpoints Research Institute , HP Labs |
|
2004 | Vino Cerf | Por su trabajo pionero en la interconexión de redes , incluido el diseño y la implementación de los protocolos de comunicación básicos de Internet, TCP/IP , y por su inspirado liderazgo en la creación de redes. |
Universidad de California, Los Ángeles , Universidad de Stanford , DARPA , MCI (ahora bajo Verizon ), CNRI , Google |
|
bob kahn |
MIT , Bolt Beranek y Newman , DARPA , CNRI |
|||
2005 | Pedro Naur | Por contribuciones fundamentales al diseño de lenguajes de programación y la definición de ALGOL 60 , al diseño de compiladores y al arte y la práctica de la programación de computadoras. |
Regnecentralen (ahora bajo Fujitsu ), Universidad de Copenhague |
|
2006 | francis allen | Por sus contribuciones pioneras a la teoría y la práctica de la optimización de las técnicas del compilador que sentaron las bases para la optimización de los compiladores modernos y la ejecución paralela automática. | IBM | |
2007 | Edmund M. Clarke | Por su papel en el desarrollo de verificación de modelos en una tecnología de verificación altamente efectiva, ampliamente adoptada en las industrias de hardware y software. |
Universidad de Harvard , Universidad Carnegie Mellon |
|
E. Allen Emerson |
Universidad de Harvard , Universidad de Texas en Austin |
|||
jose sifakis | Centro Nacional de Investigaciones Científicas de Francia | |||
2008 | Bárbara Liskov | Por contribuciones a los fundamentos prácticos y teóricos del lenguaje de programación y el diseño de sistemas, especialmente relacionados con la abstracción de datos, la tolerancia a fallas y la computación distribuida. | Instituto de Tecnología de Massachusetts | |
2009 | charles p thacker | Por su diseño pionero y realización de la Xerox Alto , la primera computadora personal moderna, y además por sus contribuciones a Ethernet y Tablet PC. |
PARC , diciembre , investigación de Microsoft |
|
2010 | leslie valiente | Por contribuciones transformadoras a la teoría de la computación , incluida la teoría del aprendizaje probablemente aproximadamente correcto ( PAC ), la complejidad de la enumeración y la computación algebraica, y la teoría de la computación paralela y distribuida. | Universidad Harvard | |
2011 | perla de judea | Por aportes fundamentales a la inteligencia artificial a través del desarrollo de un cálculo para el razonamiento probabilístico y causal. |
Universidad de California, Los Ángeles Instituto de Tecnología de Nueva Jersey |
|
2012 | Silvio Micali | Por un trabajo transformador que sentó las bases teóricas de la complejidad para la ciencia de la criptografía y en el proceso fue pionero en nuevos métodos para la verificación eficiente de pruebas matemáticas en la teoría de la complejidad. | Instituto de Tecnología de Massachusetts | |
Shafi Goldwasser |
Instituto de Tecnología de Massachusetts , Instituto de Ciencias Weizmann |
|||
2013 | leslie lamport | Por contribuciones fundamentales a la teoría y práctica de sistemas distribuidos y concurrentes, en particular la invención de conceptos como causalidad y relojes lógicos, seguridad y vitalidad, máquinas de estado replicadas y consistencia secuencial. |
Massachusetts Computer Associates (ahora bajo Essig PLM), SRI International , DEC , Compaq (ahora bajo HP ), Microsoft Research |
|
2014 | Michael Rompepedreros | Por contribuciones fundamentales a los conceptos y prácticas subyacentes a los sistemas de bases de datos modernos. |
Universidad de California, Berkeley , Instituto de Tecnología de Massachusetts |
|
2015 | Whitfield Diffie | Por contribuciones fundamentales a la criptografía moderna. El innovador artículo de 1976 de Diffie y Hellman, "Nuevas direcciones en criptografía", introdujo las ideas de criptografía de clave pública y firmas digitales, que son la base de la mayoría de los protocolos de seguridad que se usan regularmente en Internet en la actualidad. | Universidad Stanford | |
Martín Hellman | ||||
2016 | Tim Berners-Lee | Por inventar la World Wide Web , el primer navegador web y los protocolos y algoritmos fundamentales que permitieron escalar la Web. |
CERN , Instituto Tecnológico de Massachusetts , Consorcio World Wide Web |
|
2017 | John L. Hennessy | 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. | Universidad Stanford | |
david patterson | Universidad de California, Berkeley | |||
2018 | Yoshua Bengio | Por avances conceptuales y de ingeniería que han hecho de las redes neuronales profundas un componente crítico de la computación. |
Universidad de Montreal , Universidad McGill , Mila |
|
Geoffrey Hinton |
Universidad de Toronto , Universidad de California, San Diego , Universidad Carnegie Mellon , University College London , Universidad de Edimburgo , Google AI |
|||
Yann Le Cun |
Universidad de Toronto , Laboratorios Bell , Instituto Courant de Ciencias Matemáticas , Universidad de Nueva York , Meta AI |
|||
2019 | Edwin Catmull | Por las contribuciones fundamentales a los gráficos por computadora en 3D y el impacto revolucionario de estas técnicas en las imágenes generadas por computadora (CGI) en la realización de películas y otras aplicaciones. |
Universidad de Utah , Pixar , Walt Disney Animation Studios |
|
pat hanrahan |
Pixar , Universidad de Princeton , Universidad de Stanford |
|||
2020 | Alfredo Aho | Por los algoritmos fundamentales y la teoría subyacente a la implementación del lenguaje de programación y por sintetizar estos resultados y los de otros en sus libros de gran influencia, que educaron a generaciones de informáticos. |
Laboratorios Bell , Universidad de Columbia |
|
jeffrey ulman |
Laboratorios Bell , Universidad de Princeton , Universidad de Stanford |
|||
2021 | Jack Dongarra | Por contribuciones pioneras a bibliotecas y algoritmos numéricos que permitieron que el software computacional de alto rendimiento se mantuviera al día con las mejoras exponenciales del hardware durante más de cuatro décadas. |
Laboratorio Nacional Argonne , Laboratorio Nacional Oak Ridge , Universidad de Manchester , Instituto Universitario Texas A&M para Estudios Avanzados , Universidad de Tennessee , Universidad Rice |
|
2022 | Roberto Metcalfe | Por la invención, estandarización y comercialización de Ethernet . | Instituto Tecnológico de Massachusetts , Universidad de Harvard , Xerox PARC , Universidad de Texas en Austin |