Premio Turing

O Premio Turing é concedido anualmente pola Asociación para a Maquinaria de Computación (en inglés Association for Computing Machinery, ou ACM) a unha persoa pola súa contribución á computación.

A denominación do premio responde a Alan Mathison Turing, un matemático británico considerado un dos pais da ciencia da computación moderna. O premio é recoñecido como o "Premio Nobel da informática". Está patrocinado pola Intel Corporation e acompañado actualmente por un premio monetario de 250.000 dólares.

 Nacionalidades 
A maior parte dos laureados son estadounidenses. De 1966 a 2018:

PaísLaureadosSuma4444953457259261263164165166167168169170171172173

 Laureados 
AnoNºImaxeNomePaísCitación1966175pxAlan PerlisProgramación avanzada e construción de compiladores.1967275pxCoñecido polo proxecto do EDSAC, o primeiro computador cun programa embutido. Construído en 1949, o EDSAC usaba unha mercury delay line memory. É tamén autor, canda Wheeler e Gill, de "Preparation of Programs for Electronic Digital Computers" en 1951, no que bibliotecas de programas foron introducidas de forma eficiente.1968375pxRichard HammingPolo seu traballo en métodos numéricos, sistemas de códigos automáticos, e detectores e correctores de erros de código.1969475pxMarvin MinskyIntelixencia artificial.1970575x75pxJames H. WilkinsonPola súa investigación na análise numérica que facilitou o uso de computadores dixitais rápidos, álxebra linear e análise de erros de "backward".1971675pxJohn McCarthyA súa palestra "The Present State of Research on Artificial Intelligence".1972775pxEdsger DijkstraEdsger Dijkstra foi o principal contribudor no final dos anos 1950 para o desenvolvemento do ALGOL, unha linguaxe de programación de alto nivel, modelo de claridade e rigor matemático. É un dos maiores expoñentes na arte e ciencia das linguaxes de programación, e contribuíu enormemente á comprensión da súa estrutura, representación e posta en funcionamento. Os seus quince anos de publicacións van dende artigos teóricos na teoría dos grafos até manuais, textos expositores, e filosofía contemplativa no campo das linguaxes de programación.1973875pxCharles BachmanPola súa contribución na tecnoloxía de banco de datos.1974975pxDonald KnuthPolas súas contribucións na análise de algoritmos e proxecto de linguaxes de programación, en particular polas súas contribucións na "Arte da Programación de Computadores" (cunha serie de libros con este título).19751075pxPor xuntar esforzos científicos durante máis de vinte anos, inicialmente en colaboración con J. C. Shaw na RAND Corporation, e subsecuentemente con numerosos colegas na Carnegie Mellon University, fixeron contribucións básicas na intelixencia artificial, psicoloxía da cognitividade humana, e proceso de listas.1175px197612Polo artigo "Finite Automata and Their Decision Problem", escrito por ambos, que introduciu a idea de máquina non determinista, co que se probou un concepto de enorme valor. O seu (Scott & Rabin) artigo foi fonte de inspiración para varios traballos neste campo.1375px19771475pxJohn BackusPolas profundas e influentes contribucións no proxecto de sistemas prácticos de programación de alto nivel, principalmente a través do seu traballo no Fortran, e por publicacións importantes na especificación formal de procedementos de linguaxes de programación.19781575pxRobert FloydPor deixar unha clara influencia nas metodoloxías para a creación de software eficiente e fiable, e axudar a fundar os seguintes campos importantes da ciencia da computación: teoría do parsing, a semántica das linguaxes de programación, verificación automática de programas, programación automática, e análise de algoritmos.19791675pxKenneth IversonPolo seu esforzo pioneiro nas linguaxes de programación e na notación matemática nun campo coñecido hoxe como APL, polas súas contribucións para a introdución de sistemas interactivos, uso educativo das APL, e teoría e práctica das linguaxes de programación.19801775pxC.A.R. HoarePola súa contribución fundamental para a definición e proxecto de linguaxes de programación.19811875pxEdgar Frank CoddPola súa continua e fundamental contribución na teoría práctica dos sistemas xeradores de banco de datos.19821975pxStephen CookPolo avance no entendemento da complexidade da computación de forma significante e profunda.19832075pxPolo desenvolvemento da teoría xeral de sistemas operacionais e especialmente pola introdución do sistema operacional UNIX.2175px19842275pxNiklaus WirthPor desenvolver unha serie de linguaxes de computador innovadoras, EULER, ALGOL-W, MODULA e PASCAL.19852375pxRichard KarpPola súa continua contribución na teoría dos algoritmos, incluíndo o desenvolvemento de algoritmos eficientes para fluxo de rede e outros problemas de combinación, a identificación de tempo-plinominal coa noción intuitiva de eficiencia do algoritmo e, máis notadamente, contribucións na teoría de NP-Completude.19862475pxPolas investigacións fundamentais no proxecto e análise de algoritmos e estruturas de datos.2575px19872675pxJohn CockePolas contribucións significativas no proxecto e teoría dos compiladores, a arquitectura de varios sistemas e o desenvolvemento da arquitectura RISC.19882775pxIvan SutherlandPola súa contribución visionaria e pioneira na computación gráfica, comezando co Sketchpad.19892875pxWilliam KahanPola súa contribución fundamental na análise numérica.19902975pxFernando CorbatóPolo seu traballo pioneiro organizando os conceptos e liderando o desenvolvemento de sistema de computación de general-purpose (propósito-xeral), large-scale (larga-escala), time-sharing(compartillamento de tempo) e resource-sharing (compartillamento de recursos) , CTSS e Multics.19913075pxRobin MilnerPor tres diferentes contribucións: 1) LCF, a mecanización das funcións lóxicas de computación de Scott, probabelmente a primeira ferramenta práctica para unha máquina de demonstración de teoremas (machine assisted proof construction); 2) ML, a primeira linguaxe en incluír un tipo inferente polimórfico xunto a un tipo de mecanismo de tratamento seguro de excecións; 3) CCS, unha teoría xeral de computador concorrente. Alén disto, el formulou e avanzou fortemente na abstracción, o estudo do relacionamento entre a semántica operacional e de denotación (operational semantics/denotational semantics).19923175pxButler LampsonPolas contribucións no desenvolvemento de ambientes de computación persoal distribuídos e a tecnoloxía para a súa aplicación: workstations, rede de computadores, Sistemas operacionais, sistemas de programación, displays, seguranza e publicación de documentos.19933275pxEn recoñecemento ao seu artigo no que estabeleceu as fundacións para o campo da teoría da complexidade computacional.3375px19943475pxPolo pioneirismo no proxecto de construción a gran escala de sistemas de intelixencia artificial, demostrando a importancia práctica e potencial comercial desta tecnoloxía.3575px19953675pxManuel BlumEn recoñecemento á súa contribución nos fundamentos da teoría da complexidade computacional e a súa aplicación na criptografía e validación de programas.19963775pxAmir PnueliPolo traballo introdutorio lóxica temporal na ciencia da computación e por importantes contribucións na verificación formal de programas e sistemas.19973875pxDouglas EngelbartPor unha visión inspirada do futuro da computación interactiva e a invención de tecnoloxías chaves que axudaron a realizar esta visión.19983975pxJames GrayPor contribucións na investigación de banco de datos, proceso de transaccións e lideranza técnica na aplicación de sistemas.19994075pxFred BrooksPor contribucións marcantes na arquitectura de computadores, sistemas operacionais, e enxeñaría de software.20004175pxAndrew Chi-Chih YaoEn recoñecemento pola súa contribución fundamental na teoría da computación, incluíndo a teoría (complexity-based) da xeración de números pseudoaleatorios, criptografía, e complexidade da comunicación.20014275pxPor ideas fundamentais no surximento da programación orientada ao obxecto, por medio do proxecto das linguaxes de programación Simula I e Simula 67.4375px20024475pxPola súa enxeñosa contribución en facer uso práctico da criptografía de chave pública.4575px4675px200347Alan KayPolo pionerismo en moitas das ideas da raíz das actuais linguaxes de programación orientadas a obxecto, liderando o grupo que desenvolveu o Smalltalk, e por contribucións fundamentais para a computación persoal.20044875pxPolo traballo pioneiro en internetworking, incluíndo o proxecto e posta en marcha do TCP/IP , protocolo de comunicación base de Internet, e por inspirar lideranza no traballo de rede.4975px20055075pxPeter NaurPola contribución fundamental no proxecto das linguaxes de programación e definición do Algol 60, e proxecto de compilador, a na arte e práctica da programación de computadores.20065175pxFrances E. AllenPola contribución que aumentou o desempeño dos programas de computador resolvendo problemas, e acelerando o uso de computación de alto desempeño.20075275pxPolo desenvolvemento do Model Checking (Verificación de modelos) nunha efectiva verificación tecnolóxica, largamente utilizada nas industrias de hardware e software.5375px5475px20085575pxBarbara LiskovPolas contribucións prácticas e teóricas nos fundamentos da linguaxe de programación e proxecto de sistemas, especialmente relacionadas coa abstracción de datos, tolerancia a faltas, e computación distribuída.20095675pxCharles P. ThackerPola súa contribución ó desenvolvemento de Alto, o primeiro ordenador persoal, así como de Ethernet e o Tablet PC.20105775pxLeslie ValiantPolas súas transformadoras contribucións á teoría da computación, incluíndo a teoría da aprendizaxe probable, aproximadamente correcto, a complexidade da enumeración e da computación alxébrica, e teorías da computación paralela e distribuída.20115875pxJudea PearlPolas súas contribucións fundamentais á intelixencia artificial a través do desenvolvemento dun cálculo de probabilidades e de razoamento causal.20126075pxPolo seu traballo que sentou as bases teóricas da ciencia da criptografía e novos métodos para o control eficaz das probas matemáticas na teoría da complexidade computacional.6175px20136280pxLeslie Lamport20146380pxMichael Stonebraker20156480pxMartin E. Hellman6580pxWhitfield Diffie20166680pxTim Berners-Lee20176780pxJohn L. Hennessy6880pxDavid Patterson20186980pxYoshua Bengio7080pxGeoffrey Hinton7180pxYann LeCun20197280pxEd Catmull7380pxPat Hanrahan

 Véxase tamén 
 Ligazóns externas 
 Páxina oficial