Concesión de Turing

A. M. Concesión de Turing es dado anualmente por Asociación para el material de cálculo “un individuo seleccionado para las contribuciones de una naturaleza técnica hecha a la comunidad que computa. Las contribuciones deben ser de importancia técnica duradera e importante al campo de computadora ".^[1] Reconocido a menudo como “Premio Nobel de computar ",^[1] la concesión se nombra después Alan Mathison Turing, a Británico matemático quién “se acredita con frecuencia para ser el padre teórico informática y inteligencia artificial".^[2] En fecha 2007, la concesión es acompañada por un premio de $250.000, co-patrocinado cerca Intel y Google.^[1]

El primer recipiente, en 1966, era Alan Perlis, entonces de Instituto de Carnegie de la tecnología. Frances E. Allen de IBM, en 2006, es el único hembra recipiente en la historia de cuarenta años de la concesión.^[3]^[4]^[5]

Enumeran a los recipientes de la concesión y los campos en quienes ganaron el reconocimiento abajo. Refiera a los recipientes individuales para una información más detallada sobre sus logros.

Recipientes de la concesión de Turing

Año	Recipientes	Citación
1966	Alan J. Perlis	Para su influencia en el área de avanzado programación técnicas y recopilador construcción
1967	Maurice V. Wilkes	Profesor Wilkes es el más conocido como el constructor y el diseñador del EDSAC, la primera computadora con internamente almacenado programa. Construido en 1949, el EDSAC utilizó a el mercurio retrasa la línea memoria. También lo conocen como el autor, con el rodador y la papada, de un volumen en la “preparación de los programas para las calculadoras numéricas electrónicas” en 1951, en el cual bibliotecas de programas fueron introducidos con eficacia
1968	Richard Hamming	Para su trabajo encendido métodos numéricos, sistemas de codificación automáticos, y códigos error-detecting y error-correcting
1969	Marvin Minsky	inteligencia artificial
1970	James H. Wilkinson	Para su investigación adentro análisis numérico para facilitar el uso de la calculadora numérica de alta velocidad, recibiendo el reconocimiento especial para su trabajo en cómputos adentro álgebra linear y análisis “posterior” del error
1971	Juan McCarthy	El Dr. Conferencia de McCarthy “el estado actual de la investigación encendido Inteligencia artificial“es un asunto que cubre el área en la cual él ha alcanzado el reconocimiento considerable para su trabajo
1972	Edsger Dijkstra	Edsger Dijkstra era un contribuidor principal en los últimos años 50 al desarrollo del ALGOL, un de alto nivel lenguaje de programación cuál se ha convertido en un modelo de la claridad y del rigor matemático. Él es uno de los exponentes principales de la ciencia y del arte de lenguajes de programación generalmente y ha contribuido grandemente a nuestra comprensión de su estructura, representación, y puesta en práctica. Sus quince años de publicaciones extienden de los artículos teóricos sobre teoría de gráfico a los manuales básicos, a los textos expositivos, y a las contemplaciones filosóficas en el campo de lenguajes de programación
1973	Charles W. Bachman	Para sus contribuciones excepcionales a base de datos tecnología
1974	Donald E. Knuth	Para sus contribuciones importantes al análisis de algoritmos y del diseño de lenguajes de programación, y particularmente para sus contribuciones a “El arte de la programación de la computadora“a través de sus libros bien conocidos en una serie continua por este título
1975	Allen Newell y Herberto A. Simon	En los esfuerzos científicos comunes que extienden sobre veinte años, inicialmente en colaboración con el J. C. Shaw en RAND Corporation, y subsequentially con los colegas numerosos de la facultad y del estudiante en Universidad Carnegie-Mellon, han hecho contribuciones básicas a inteligencia artificial, la psicología de la cognición humana, y proceso de lista
1976	Michael O. Rabin y Dana S. Scott	Para sus “autómatas finitos de papel comunes y su problema de la decisión,” de los cuales introdujo la idea máquinas no deterministas, que ha demostrado ser un concepto enormemente valioso. Su (Scott y Rabin) papel clásico ha sido una fuente continua de la inspiración para el trabajo subsecuente en este campo
1977	Juan Backus	Para las contribuciones profundas, influyentes, y duraderas al diseño de sistemas de programación de alto nivel prácticos, notablemente a través de su trabajo encendido FORTRAN, y para la publicación seminal de los procedimientos formales para la especificación de lenguajes de programación
1978	Roberto W. Floyd	Para tener una influencia clara en las metodologías para la creación del software eficiente y confiable, y para ayudar a encontró los subcampos importantes siguientes de informática: la teoría de análisis, semántica de lenguajes de programación, automático verificación del programa, síntesis automática del programa, y análisis de algoritmos
1979	Kenneth E. Iverson	Para su esfuerzo pionero en lenguajes de programación y la notación matemática dando por resultado lo que ahora sabe el campo que computa como APL, para sus contribuciones a la puesta en práctica de sistemas interactivos, a las aplicaciones educativas del APL, y a la teoría y a la práctica del lenguaje de programación
1980	C. Antony R. Hoare	Para sus contribuciones fundamentales a la definición y al diseño de lenguajes de programación
1981	Edgar F. Codd	Para su fundamental y contribuciones de continuación a la teoría y a la práctica de los sistemas de gerencia de base de datos, especialmente bases de datos emparentadas
1982	Stephen A. Cocinero	Para su adelanto de nuestra comprensión de la complejidad del cómputo de una manera significativa y profunda
1983	Ken Thompson y Dennis M. Ritchie	Para su desarrollo de la teoría genérica de los sistemas operativos y específicamente para la puesta en práctica del UNIX sistema operativo
1984	Niklaus Wirth	Para desarrollar una secuencia de los lenguajes de programación innovadores, EULER, ALGOL-W, MODULA y PASCAL
1985	Richard M. Karp	Para sus contribuciones de continuación a la teoría de algoritmos incluyendo el desarrollo de los algoritmos eficientes para el flujo de la red y otros problemas combinatorios de la optimización, la identificación del computability del polinómico-tiempo con la noción intuitiva de la eficacia algorítmica, y, lo más notablemente posible, las contribuciones a la teoría de NP-lo completo
1986	Juan Hopcroft y Roberto Tarjan	Para los logros fundamentales en el diseño y el análisis de las estructuras de los algoritmos y de datos
1987	Juan Cocke	Para las contribuciones significativas en el diseño y la teoría de recopiladores, la arquitectura de sistemas grandes y el desarrollo de las computadoras reducidas del sistema de instrucción (RISC)
1988	Ivan Sutherland	Para su iniciar y contribuciones visionarias a gráficos de computadora, comenzando con Bloc de bocetos, y continuando después
1989	Guillermo (Velvel) Kahan	Para sus contribuciones fundamentales a análisis numérico. Uno de los primeros expertos encendido floating-point cómputos. Kahan se ha dedicado “que hacía la caja fuerte del mundo para los cómputos numéricos.”
1990	Fernando J. Corbató	Para su trabajo pionero que organiza los conceptos y que conduce el desarrollo del de uso general, en grande, reparto del tiempo y sistemas informáticos del resource-sharing, CTSS y Multics.
1991	Robin Milner	Para tres distintos y termine los logros: 1) LCF, la mecanización de la lógica de Scott de funciones computables, las primeras basó probablemente teóricamente con todo herramienta práctica para construcción automatizada de la prueba; 2) Ml, la primera lengua para incluir polimórfico mecanografíe la inferencia junto con a tipo-seguro excepción-dirección mecanismo; 3) CCS, una teoría general de concurrencia. Además, él formuló y avanzó fuertemente abstracción completa, el estudio de la relación en medio operacional y denotational semántica.
1992	Mayordomo W. Lampson	Para las contribuciones al desarrollo de los ambientes el computar distribuido, personal y de la tecnología para su puesta en práctica: sitios de trabajo, redes, sistemas operativos, sistemas de programación, exhibiciones, seguridad y el publicar del documento.
1993	Juris Hartmanis y Richard E. Stearns	En el reconocimiento de su papel seminal de el cual estableció las fundaciones para el campo teoría de complejidad de cómputo.
1994	Edward Feigenbaum y Raj Reddy	Para iniciar el diseño y la construcción de los sistemas de la inteligencia artificial de la escala grande, demostrando la importancia práctica y el impacto comercial potencial de la tecnología de la inteligencia artificial.
1995	Manuel Blum	En el reconocimiento de sus contribuciones a las fundaciones de teoría de complejidad de cómputo y su uso a criptografía y comprobación del programa.
1996	Amir Pnueli	Para introducir seminal del trabajo lógica temporal en ciencia que computa y para las contribuciones excepcionales al programa y a los sistemas verificación.
1997	Douglas Engelbart	Para una visión inspirante del futuro de computar interactivo y de la invención de las tecnologías dominantes a ayudar a realizar esta visión.
1998	Gris de Jim	Para las contribuciones seminales a base de datos y tratamiento transaccional investigación y dirección técnica en la puesta en práctica de sistema.
1999	Frederick P. Arroyos, Jr.	Para las contribuciones de la señal a arquitectura de computadora, sistemas operativos, y tecnología de dotación lógica.
2000	Chi-Chih Yao de Andrew	En el reconocimiento de sus contribuciones fundamentales a teoría del cómputo, incluyendo la teoría complejidad-basada de generación del número pseudaleatorio, criptografía, y complejidad de la comunicación.
2001	Dahl ole-Johan y Kristen Nygaard	Para las ideas fundamentales a la aparición de programación orientada al objeto, con su diseño de los lenguajes de programación Simula I y Simula 67.
2002	Ronald L. Rivest, Adi Shamir y Leonard M. Adleman	Para su contribución ingeniosa para hacer criptografía de la público-llave útil en la práctica.
2003	Alan Kay	Para iniciar muchas de las ideas en la raíz del contemporáneo lenguajes de programación orientados al objeto, conduciendo al equipo que se convirtió Palique, y para las contribuciones fundamentales a computar personal.
2004	Vinton G. Cerf y Roberto E. Kahn	Para iniciar el trabajo encendido interred, incluyendo el diseño y la puesta en práctica del Internet'protocolos de comunicaciones básicos de s, TCP/IP, y para la dirección inspirada en establecimiento de una red.
2005	Peter Naur	Para las contribuciones fundamentales a lenguaje de programación diseño y la definición de ALGOL 60, a recopilador diseñe, y al arte y a la práctica de la programación de la computadora.
2006	Frances E. Allen	Para iniciar contribuciones a la teoría y a la práctica de las técnicas óptimas del recopilador que pusieron la fundación para los recopiladores óptimos modernos y la ejecución paralela automática.
2007	Edmund M. Clarke, E. Allen Emerson y José Sifakis	Para [sus papeles] en convertirse Modelo-Comprobación en una tecnología altamente eficaz de la verificación, adoptada extensamente en las industrias del hardware y del software.

Notas

^ ^a ^b ^c A. M. Concesión de Turing. ACM. Recuperado encendido 2007-11-05.
^ Homer, Steven y Alan L. Selman. Computability y teoría de complejidad. Springer vía Google reserva la visión limitada, 35. ISBN 0-3879-5055-9. Recuperado encendido 2007-11-05.
^ La asociación para el material de cálculo (21 de febrero, 2007). "Primera mujer para recibir la concesión de ACM Turing". Lanzamiento de prensa. Recuperado encendido 2007-11-05.
^ Marianne Kolbasuk McGee. "Todavía hay una escasez de mujeres en Tech, el primer ganador femenino de la concesión de Turing advierte", InformationWeek, Medios del CMP, 26 de febrero, 2007, en línea 24 de febrero, 2007. Recuperado encendido 2007-11-05.
^ Perelman, Deborah. "La concesión de Turing unta a primer recipiente femenino", eWEEK, Empresa de Ziff Davis, 27 de febrero, 2007. Recuperado encendido 2007-11-05.

Acoplamientos externos

Los campos comunes de Wikimedia tienen medios relacionados con:

Concesión de Turing

v • d • e

A. M. Concesión de Turing laureados

Perlis (1966) · Wilkes (1967) · Hamming (1968) · Minsky (1969) · Wilkinson (1970) · McCarthy (1971) · Dijkstra (1972) · Bachman (1973) · Knuth (1974) · Newell / Simon (1975) · Rabin / Scott (1976) · Backus (1977) · Floyd (1978) · Iverson (1979) · Hoare (1980) · Codd (1981) · Cocinero (1982) · Thompson / Ritchie (1983) · Wirth (1984) · Karp (1985) · Hopcroft / Tarjan (1986) · Cocke (1987) · Sutherland (1988) · Kahan (1989) · Corbató (1990) · Milner (1991) · Lampson (1992) · Hartmanis / Stearns (1993) · Feigenbaum / Reddy (1994) · Blum (1995) · Pnueli (1996) · Engelbart (1997) · Gris (1998) · Arroyos (1999) · Yao (2000) · Dahl / Nygaard (2001) · Rivest / Shamir / Adleman (2002) · Kay (2003) · Cerf / Kahn (2004) · Naur (2005) · Allen (2006) · Clarke / Emerson / Sifakis (2007)

The original article is from Wikipedia. To view the original article please click here.
Creative Commons Licence

Custom Search