Premio Turing | |
---|---|
inglés Premio ACM AM Turing | |
País | |
Tipo de | premio científico |
quien es premiado | Asociación para Maquinaria de Computación |
Estadísticas | |
Fecha de fundación | 1966 |
Sitio web | amturing.acm.org _ |
Archivos multimedia en Wikimedia Commons |
El Premio Turing es el premio más prestigioso en informática , otorgado por la Asociación de Maquinaria de Computación por contribuciones científicas y técnicas sobresalientes en este campo.
Establecido por la Association for Computing Machinery en honor al destacado científico inglés Alan Turing , quien obtuvo los primeros resultados profundos sobre computabilidad mucho antes de la aparición de las primeras computadoras electrónicas .
Otorgado anualmente a uno o más informáticos e informáticos cuyas contribuciones en este campo hayan tenido un impacto fuerte y duradero en la comunidad informática [1] . El premio puede otorgarse a una persona no más de una vez. En el campo de la tecnología de la información, el Premio Turing tiene un estatus similar al Premio Nobel en ciencias académicas [2] . Otorgado por primera vez en 1966 a Alan Perlis por el desarrollo de la tecnología de compilación .
En la década de 2000, el fondo de premios fue patrocinado por las corporaciones Intel y Google , el fondo de premios anual fue de $ 250 mil, desde 2014 el fondo de premios anual se incrementó a $ 1 millón y Google se convirtió en el único patrocinador del premio [3 ] [4] .
Por tradición, el laureado del premio entrega un informe llamado "Conferencia de Turing", en el que el laureado comparte su opinión sobre los problemas de la informática y la tecnología informática que son importantes en su opinión.
Año | Laureado | Motivo de la adjudicación |
---|---|---|
1966 | alan perlis | Por su influencia en el campo de las técnicas de programación genérica y la construcción de compiladores . |
1967 | maurice wilks | El profesor Wilks es mejor conocido como el diseñador de EDSAC , la primera computadora que permitió el almacenamiento interno de programas . Construido en 1949 , el EDSAC utilizaba memoria de línea de retardo . También es conocido, con Wheeler y Gill, como el autor del libro de 1951 Preparación de programas para computadoras digitales electrónicas , que presenta el concepto esencial de una biblioteca . |
1968 | ricardo hamming | Para trabajos en métodos numéricos , sistemas de codificación automática, detección de errores y códigos de corrección |
1969 | marvin minski | Por una gran contribución a la creación, formación, promoción y desarrollo de la dirección científica de la inteligencia artificial . |
1970 | james wilkinson | Por su investigación en análisis numérico , que contribuyó al uso de computadoras digitales de alta velocidad, que se volvió de particular importancia a la luz de su trabajo sobre cálculos de álgebra lineal y análisis de error "inverso". |
1971 | Juan McCarthy | La conferencia de McCarthy "El estado actual de la investigación en inteligencia artificial " destaca el estado del arte en un campo que debe gran parte de su éxito significativo a su trabajo. |
1972 | Edsger Dijkstra | Por su importante contribución al desarrollo del lenguaje de programación de alto nivel Algol , que se ha convertido en el epítome de la claridad y el rigor matemático. Es uno de los más brillantes representantes de la ciencia y el arte de los lenguajes de programación en toda su generalidad, así como un científico que de muchas formas contribuyó a comprender su estructura, representación e implementación. Sus publicaciones durante quince años abarcan una amplia gama de temas, desde artículos teóricos sobre teoría de grafos hasta guías básicas, descripciones y reflexiones filosóficas en el campo de los lenguajes de programación. |
1973 | charles bachmann | Por contribuciones destacadas a la tecnología de bases de datos |
1974 | donald knuth | Por su gran contribución al análisis de algoritmos, al desarrollo de lenguajes de programación, y en particular por la creación de una conocida serie de libros bajo el título general "El Arte de Programar " |
1975 | Allen NewellHerbert Simón |
Por contribuciones fundamentales a la inteligencia artificial, la psicología de la percepción humana y el procesamiento de listas. |
1976 | Michael RabinDana Scott |
Para el artículo “Autómatas finitos y el problema de su decidibilidad”, en el que proponía la idea de un autómata no determinista , concepto que luego demostró ser de un valor excepcional. El artículo, que se convirtió en un clásico, sirvió de inspiración para muchos trabajos posteriores en esta área. |
1977 | Juan Backus | Por sus profundas, duraderas e influyentes contribuciones al diseño de sistemas prácticos de software de alto nivel, en particular por su trabajo sobre el lenguaje Fortran y su publicación original sobre la formalización de las especificaciones del lenguaje de programación . |
1978 | robert floyd | Por su indudable influencia en la metodología de creación de software eficiente y confiable y por su ayuda en el desarrollo de áreas de la informática como 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. |
1979 | Kenneth Iverson | Por su trabajo pionero en el campo de los lenguajes de programación y la notación matemática, dando como resultado lo que ahora se conoce entre los especialistas como APL , por sus aportes a la implementación de sistemas interactivos, el uso de APL con fines educativos, y la teoría y técnica de lenguajes de programación |
1980 | antonio hoare | Por sus aportes fundamentales a la definición y desarrollo de lenguajes de programación |
1981 | edgar codd | Por sus contribuciones fundamentales y duraderas a la teoría y práctica de los sistemas de gestión de bases de datos, especialmente del tipo relacional . |
mil novecientos ochenta y dos | Esteban Arturo Cook | Por el importante progreso que ha logrado en la comprensión de la complejidad de la computación . Su trabajo sentó las bases para la teoría de la NP-completitud . El estudio de las propiedades y límites de esta clase se ha convertido en una de las direcciones más importantes en la teoría de los sistemas informáticos en los últimos diez años. |
1983 | Ken ThompsonDennis Ritchie |
Para el desarrollo de una teoría general de los sistemas operativos , y en particular para la creación de Unix |
1984 | niklaus wirth | Por desarrollar una serie de lenguajes informáticos innovadores, Euler , Algol-W , Modula y Pascal |
1985 | ricardo karpe | Para contribuciones a largo plazo a la teoría de algoritmos, incluido el desarrollo de algoritmos eficientes para flujos en redes y otros problemas de optimización combinatoria, la comparación de cálculos de complejidad polinomial con la noción intuitiva de eficiencia y, lo que es más importante, para contribuciones a la teoría. de NP-completitud |
1986 | John HopcroftRobert Tarjan |
Por logros fundamentales en el desarrollo y análisis de algoritmos y estructuras de datos. |
1987 | Juan gallo | Por contribuciones destacadas al diseño y la teoría del compilador, la arquitectura de grandes sistemas y el desarrollo de computadoras RISC |
1988 | Iván Sutherland | Por contribuciones fundamentales y visionarias a los gráficos por computadora , desde la invención de Sketchpad , pero sin terminar con él. |
1989 | Guillermo Cahan | Por contribuciones fundamentales al análisis numérico . Uno de los primeros expertos en cálculos de punto flotante . Kahan también se dedicó a la tarea de “hacer del mundo un lugar seguro para los cálculos numéricos” |
1990 | fernando corbato | Por su trabajo pionero en la concepción y la gestión del desarrollo para la creación de sistemas informáticos CTSS y Multics de uso general y gran escala para compartir tiempo y recursos. |
1991 | petirrojo milner | Por tres logros diferentes de alto grado: 1) LCF , pruebas automáticas en la lógica de las funciones computables de Scott, aparentemente la primera herramienta de construcción de pruebas automatizada construida sobre una base teórica y, sin embargo, útil en la práctica; 2) ML , el primer lenguaje de programación que utiliza la inferencia de tipos polimórficos junto con un mecanismo de manejo de errores tipificados ; 3) CCS , Teoría General de la Computación Paralela . Además, formuló y desarrolló la abstracción total , una teoría sobre la relación entre la semántica operativa y la denotacional . |
1992 | Mayordomo Lampson | Por contribuciones al desarrollo de entornos informáticos personales distribuidos y tecnología para su implementación: estaciones de trabajo , redes , sistemas operativos, sistemas de software, pantallas , seguridad e intercambio de documentos . |
1993 | Juris Hartmanis Richard E. Stearns |
En homenaje a su trabajo seminal, que sentó las bases para la teoría de la complejidad computacional |
1994 | Edward Feigenbaum Raj Reddy |
Por ser pionero en el desarrollo y la creación de sistemas de inteligencia artificial a gran escala y demostrar la importancia práctica y el valor comercial potencial de las tecnologías de inteligencia artificial. |
1995 | manuel blum | En reconocimiento a las 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 |
1996 | Amir Pnueli | Por su trabajo seminal en la implementación de la lógica temporal en las ciencias computacionales y por sus destacadas contribuciones a la verificación de programas y sistemas. |
1997 | douglas engelbart | Por visiones inspiradoras del futuro de la computación interactiva y la invención de tecnologías clave para ayudar a hacer realidad esta visión. |
1998 | jim gris | Para ideas fundamentales en bases de datos, investigación de procesamiento de transacciones y liderazgo técnico en la implementación de sistemas. |
1999 | Frederic Brooks | Por contribuciones históricamente significativas a la arquitectura de computadoras , sistemas operativos y diseño de software . |
2000 | andres yao | En homenaje a sus contribuciones fundamentales a la teoría de la computación , incluidas, basadas en el concepto de complejidad computacional , la teoría de la generación de números pseudoaleatorios , la criptografía y la complejidad de la comunicación . |
2001 | Ole-Johan Dahl Kristen Nyugor |
Para ideas fundamentales para el desarrollo de la programación orientada a objetos durante el desarrollo de los lenguajes de programación Simula I y Simula 67 |
2002 | Ronald Rivest Adi Shamir Leonard Adleman |
Por una contribución única para aumentar el valor práctico de los sistemas de cifrado de clave pública |
2003 | alan kay | Por muchas de las ideas innovadoras que formaron la base de los lenguajes modernos orientados a objetos , por liderar el equipo de desarrollo del lenguaje Smalltalk y por contribuciones fundamentales al desarrollo del campo de la PC . |
2004 | Vinton CerfRobert Kahn |
Por su trabajo pionero en el problema de la interconexión de redes , incluido el desarrollo y la implementación de los principales protocolos de Internet , TCP /IP , y por su liderazgo en redes informáticas. |
2005 | Pedro Naur | Por contribuciones fundamentales al diseño de lenguajes de programación y la creación del lenguaje Algol 60 , así como al diseño de compiladores , y al arte y técnica de la programación de computadoras. |
2006 | francisco allen | Por sus contribuciones pioneras a la teoría y la práctica de la optimización de programas informáticos, que sirvieron de base para los compiladores de optimización modernos y la paralelización automática de programas. |
2007 | Edmund Clark Allen Emerson Joseph Sifakis |
Por su papel en el desarrollo de la verificación de modelos , una técnica de verificación de programas altamente eficiente ampliamente utilizada tanto en el desarrollo de software como de hardware [5] |
2008 | Bárbara Liskov | Por contribuciones a los fundamentos prácticos y teóricos de los lenguajes de programación y el diseño de sistemas, en particular en los campos de investigación de tolerancia a errores, abstracción de datos y computación distribuida. |
2009 | charles thacker | Por el desarrollo pionero y la creación de Alto , la primera computadora personal moderna, y por sus contribuciones a la tecnología Ethernet y el desarrollo de computadoras personales tipo tableta . |
2010 | leslie valiente | Por contribuciones a la teoría de algoritmos , incluido el aprendizaje aproximadamente correctocomplejidad de la enumeración y el cálculo algebraico, y la teoría de la computación paralela y distribuida . [6] |
2011 | Perla de Judá | Por aportes fundamentales a la inteligencia artificial a través del desarrollo de un cálculo para el razonamiento probabilístico y causal [7 ] |
2012 | Silvio Micali Shafi Goldwasser |
Por su trabajo pionero en el cifrado probabilístico (incluido el primer criptosistema probabilístico de clave pública ) y su trabajo en la aplicación de pruebas de conocimiento cero en protocolos criptográficos [8] . |
2013 | leslie lamport | Por contribuciones fundamentales a la teoría y práctica de sistemas distribuidos e interactivos, marcados por el descubrimiento de conceptos tales como causalidad y relojes lógicos , seguridad y capacidad de supervivencia, autómatas replicables, consistencia de datos secuenciales [9] . |
2014 | Michael Rompepiedras | Para contribuciones fundamentales a los principios y prácticas que subyacen en los sistemas modernos de administración de bases de datos [10] . |
2015 | Whitfield Diffie Martin Hellman |
Para contribuciones fundamentales a la criptografía [11] . |
2016 | Tim Berners-Lee | Por la invención de la World Wide Web , el primer navegador web y los protocolos y algoritmos fundamentales que influyeron en la difusión de Internet [12] . |
2017 | John HennessyDavid Patterson |
Por un enfoque innovador, sistemático y medible para el diseño y la verificación de arquitecturas informáticas que ha tenido un impacto duradero en la industria de los microprocesadores [13] . |
2018 | Yoshua Bengio Geoffrey Hinton Yan LeCun |
Por los avances conceptuales y de ingeniería que han hecho de las redes neuronales profundas una piedra angular de la computación [14] . |
2019 | Ed Catmull Pat Hanrahan |
Por sus contribuciones fundamentales al desarrollo de gráficos 3D y su revolucionaria influencia en los gráficos por computadora en películas y otras aplicaciones [15] . |
2020 | Alfred AhoJeffrey Ullman |
Para la formación de las bases de compilación y algoritmos para lenguajes de programación [16] . |
2021 | Jack Dongarra | Por las contribuciones pioneras a las bibliotecas de métodos numéricos que han permitido que el software de las supercomputadoras siga el ritmo del desarrollo exponencial del hardware durante cuatro décadas [17] . |
diccionarios y enciclopedias |
---|
del Premio Turing | Ganadores|
---|---|
|