Prêmio Turing -Turing Award

Prêmio ACM Turing
Turing-estátua-Bletchley 11.jpg
Estátua de ardósia de Stephen Kettle de Alan Turing em Bletchley Park
Premiado por Contribuições de destaque em ciência da computação
País Estados Unidos
Apresentado por Associação para Máquinas de Computação (ACM)
Recompensas) US$ 1.000.000
Primeiro premiado 1966 ; 57 anos atrás ( 1966 )
Último premiado 2022
Local na rede Internet amturing .acm .org

O ACM AM Turing Award é um prêmio anual concedido pela Association for Computing Machinery (ACM) por contribuições de importância técnica duradoura e importante para a ciência da computação . É geralmente reconhecido como a mais alta distinção em ciência da computação e é coloquialmente conhecido ou frequentemente referido como o " Prêmio Nobel da Computação ".

O prêmio leva o nome de Alan Turing , que foi um matemático britânico e professor de matemática na Universidade de Manchester . Turing é frequentemente creditado como sendo o principal fundador da ciência da computação teórica e da inteligência artificial . De 2007 a 2013, o prêmio foi acompanhado de um prêmio adicional de US$ 250 mil, com apoio financeiro da Intel e do Google. Desde 2014, o prêmio vem acompanhado de um prêmio de US$ 1 milhão, com apoio financeiro do Google.

O primeiro contemplado, em 1966, foi Alan Perlis , da Carnegie Mellon University . A primeira mulher a receber foi Frances E. Allen , da IBM , em 2006. A última a receber, em 2022, é Robert Metcalfe por inventar a Ethernet .

Destinatários

Ano Destinatário(s) foto Justificativa Instituto(s) afiliado(s)
1966 Alan Perlis Por sua influência na área de técnicas avançadas de programação de computadores e construção de compiladores . Universidade Carnegie Mellon
1967 Maurice Wilkes Maurice Vincent Wilkes 1980 (3, cropped).jpg Wilkes é mais conhecido como o construtor e projetista do EDSAC , o primeiro computador com um programa armazenado internamente . Construído em 1949, o EDSAC usava uma memória de linha de atraso de mercúrio . Ele também é conhecido como o autor, com Wheeler e Gill, de um volume sobre "Preparação de Programas para Computadores Digitais Eletrônicos" em 1951, no qual as bibliotecas de programas foram efetivamente introduzidas. Universidade de Cambridge
1968 Richard Hamming Por seu trabalho em métodos numéricos , sistemas de codificação automática e códigos de detecção e correção de erros. Bell Labs
1969 marvin minsky Marvin Minsky em OLPCc.jpg Por seu papel central na criação, formação, promoção e avanço do campo da inteligência artificial . Instituto de Tecnologia de Massachusetts
1970 James H. Wilkinson Por sua pesquisa em análise numérica para facilitar o uso do computador digital de alta velocidade, tendo recebido reconhecimento especial por seu trabalho em cálculos em álgebra linear e análise de erros "retrocedentes". Laboratório Nacional de Física
1971 John McCarthy John McCarthy Stanford.jpg A palestra de McCarthy "The Present State of Research on Artificial Intelligence" é um tema que abrange a área na qual ele obteve considerável reconhecimento por seu trabalho. Universidade de Stanford
1972 Edsger W. Dijkstra Edsger Wybe Dijkstra.jpg Edsger Dijkstra foi um dos principais contribuintes no final dos anos 1950 para o desenvolvimento do ALGOL , uma linguagem de programação de alto nível que se tornou um modelo de clareza e rigor matemático. Ele é um dos principais proponentes da ciência e da arte das linguagens de programação em geral e contribuiu muito para nossa compreensão de sua estrutura, representação e implementação. Seus quinze anos de publicações se estendem de artigos teóricos sobre teoria dos grafos a manuais básicos, textos expositivos e contemplações filosóficas no campo das linguagens de programação. Centrum Wiskunde & Informatica ,
Universidade de Tecnologia de Eindhoven ,
Universidade do Texas em Austin
1973 Charles Bachman Charles Bachman 2012.jpg Por suas excelentes contribuições à tecnologia de banco de dados . General Electric Research Laboratory (agora sob o Groupe Bull , uma empresa Atos )
1974 Donald Knuth KnuthAtOpenContentAlliance.jpg Por suas principais contribuições para a análise de algoritmos e o projeto de linguagens de programação e, em particular, por suas contribuições para " A Arte da Programação de Computadores " por meio de seus livros conhecidos em uma série contínua com este título. Instituto de Tecnologia da Califórnia ,
Centro de Pesquisa em Comunicações, Centro de Comunicações e Computação, Instituto de Análises de Defesa ,
Universidade de Stanford
1975 Allen Newell Em esforços científicos conjuntos que se estendem por mais de vinte anos, inicialmente em colaboração com JC Shaw na RAND Corporation e, posteriormente, com vários professores e colegas estudantes da Carnegie Mellon University , eles fizeram contribuições básicas para a inteligência artificial, a psicologia da cognição humana e listam em processamento. Corporação RAND ,
Universidade Carnegie Mellon
Herbert A. Simon Herbert simon red cropped.jpg
1976 Michael O. Rabin MO Rabin.jpg Por seu artigo conjunto "Finite Automata and Their Decision Problem", que introduziu a ideia de máquinas não determinísticas , uma fonte contínua de inspiração para trabalhos subsequentes neste campo. Universidade de Princeton
Dana Scott Scott Dana small.jpg Universidade de Chicago
1977 John Backus John Backus 2.jpg Pelas contribuições profundas, influentes e duradouras para o projeto de sistemas práticos de programação de alto nível, principalmente por meio de seu trabalho em FORTRAN , e pela publicação seminal de procedimentos formais para a especificação de linguagens de programação . IBM
1978 Robert W. Floyd Por ter uma clara influência nas metodologias para a criação de software eficiente e confiável, e por ajudar a fundar os seguintes subcampos importantes da ciência da computação : a teoria da análise sintática , a semântica das linguagens de programação, a verificação automática de programas , a síntese automática de programas e a análise de algoritmos . Universidade Carnegie Mellon ,
Universidade de Stanford
1979 Kenneth E. Iverson Kei mais jovem.jpg Por seu esforço pioneiro em linguagens de programação e notação matemática resultando no que o campo da computação agora conhece como APL , por suas contribuições para a implementação de sistemas interativos, para usos educacionais de APL e para teoria e prática de linguagem de programação. IBM
1980 Tony Hoare Sir Tony Hoare IMG 5125.jpg Por suas contribuições fundamentais para a definição e projeto de linguagens de programação. Queen's University Belfast ,
Universidade de Oxford
1981 Edgar F. Codd Por suas contribuições fundamentais e contínuas à teoria e prática de sistemas de gerenciamento de banco de dados, esp. bancos de dados relacionais . IBM
1982 Stephen Cook Prof.Cook (cortado).jpg Por seu avanço em nossa compreensão da complexidade da computação de maneira significativa e profunda. Universidade de Toronto
1983 Ken Thompson Ken Thompson 02.jpg Pelo desenvolvimento da teoria de sistemas operacionais genéricos e especificamente pela implementação do sistema operacional UNIX . Bell Labs
Dennis Ritchie Dennis Ritchie 2011.jpg
1984 Niklaus Wirth Niklaus Wirth, UrGU (cropped).jpg Por desenvolver uma sequência de linguagens de computador inovadoras, EULER , ALGOL-W , Pascal , MODULA e Oberon . Universidade de Stanford ,
Universidade de Zurique ,
ETH Zurique
1985 Ricardo M. Karp Karp mg 7725-b.cr2.jpg Por suas contribuições contínuas para a teoria dos algoritmos, incluindo o desenvolvimento de algoritmos eficientes para fluxo de rede e outros problemas de otimização combinatória, a identificação da computabilidade em tempo polinomial com a noção intuitiva de eficiência algorítmica e, principalmente, contribuições para a teoria de NP -completude . Universidade da California, Berkeley
1986 John Hopcroft Hopcrofg (cortado).jpg Para conquistas fundamentais no projeto e análise de algoritmos e estruturas de dados. Universidade de Cornell
Robert Tarjan Bob Tarjan.jpg Universidade de Stanford ,
Universidade de Cornell ,
Universidade da Califórnia, Berkeley ,
Universidade de Princeton
1987 John Cocke Por contribuições significativas no projeto e na teoria de compiladores, na arquitetura de grandes sistemas e no desenvolvimento de computadores com conjunto reduzido de instruções (RISC). IBM
1988 Ivan Sutherland Ivan Sutherland em CHM.jpg Por suas contribuições pioneiras e visionárias à computação gráfica , começando com o Sketchpad e continuando depois. Universidade de Stanford ,
Universidade de Harvard ,
Universidade de Utah ,
Instituto de Tecnologia da Califórnia
1989 William Kahan William Kahan 2008 (cortado).jpg Por suas contribuições fundamentais para a análise numérica . Um dos maiores especialistas em cálculos de ponto flutuante . Kahan se dedicou a "tornar o mundo seguro para cálculos numéricos". Universidade da California, Berkeley
1990 Fernando J. Corbató Fernando Corbato.jpg Por seu trabalho pioneiro organizando os conceitos e liderando o desenvolvimento de sistemas de computador de uso geral, de larga escala, de compartilhamento de tempo e compartilhamento de recursos, CTSS e Multics . Instituto de Tecnologia de Massachusetts
1991 Robin Milner Por três conquistas distintas e completas: 1) LCF , a mecanização da Lógica das Funções Computáveis ​​de Scott, provavelmente a primeira ferramenta teórica, porém prática, para construção de prova assistida por máquina ; 2) ML , a primeira linguagem a incluir inferência de tipos polimórficos junto com um mecanismo de manipulação de exceção de tipo seguro ; 3) CCS , uma teoria geral de concorrência . Além disso, ele formulou e avançou fortemente a abstração completa , o estudo da relação entre semântica operacional e denotacional . Universidade de Stanford ,
Universidade de Edimburgo
1992 Butler Lampson Conferência de Desenvolvedores Profissionais 2009 Painel de Líderes Técnicos 6 (cortado).jpg Pelas contribuições para o desenvolvimento de ambientes de computação pessoal distribuídos e a tecnologia para sua implementação: estações de trabalho , redes , sistemas operacionais , sistemas de programação, monitores , segurança e publicação de documentos . PARC ,
DEZ
1993 Juris Hartmanis Juris Hartmanis(2002).jpg Em reconhecimento ao seu papel seminal que estabeleceu as bases para o campo da teoria da complexidade computacional . General Electric Research Laboratory (agora sob o Groupe Bull , uma empresa Atos )
Richard E. Stearns Dick Stearns (cortado).jpg
1994 Edward Feigenbaum 27. Dr. Edward A. Feigenbaum 1994-1997.jpg Por ser pioneiro no design e construção de sistemas de inteligência artificial em grande escala, demonstrando a importância prática e o potencial impacto comercial da tecnologia de inteligência artificial. Universidade de Stanford
Raj Reddy ProfReddys Photo Cropped.jpg Universidade de Stanford ,
Universidade Carnegie Mellon
1995 Manuel Blum Blum manuel (cropped).jpg Em reconhecimento por suas contribuições aos fundamentos da teoria da complexidade computacional e sua aplicação à criptografia e verificação de programas . Universidade da California, Berkeley
1996 Amir Pnueli Amir Pnueli.jpg Pelo trabalho seminal introduzindo a lógica temporal na ciência da computação e pelas excelentes contribuições para a verificação de programas e sistemas . Universidade de Stanford ,
Universidade de Tel Aviv ,
Instituto Weizmann de Ciências ,
Instituto Courant de Ciências Matemáticas
1997 Douglas Engelbart Douglas Engelbart em 2008.jpg Para uma visão inspiradora do futuro da computação interativa e a invenção de tecnologias-chave para ajudar a concretizar essa visão. SRI International ,
Tymshare ,
McDonnell Douglas ,
Bootstrap Institute/Alliance,
The Doug Engelbart Institute
1998 Jim Gray Jim Gray Computação no século 21 2006 (cropped).jpg Para contribuições seminais para banco de dados e pesquisa de processamento de transações e liderança técnica na implementação do sistema. IBM ,
Microsoft
1999 Fred Brooks Fred Brooks (cortado).jpg Por contribuições marcantes para arquitetura de computadores , sistemas operacionais e engenharia de software. IBM ,
Universidade da Carolina do Norte em Chapel Hill
2000 André Yao Andrew Yao MFO (cortado).jpg Em reconhecimento às suas contribuições fundamentais para a teoria da computação , incluindo a teoria baseada na complexidade da geração de números pseudo-aleatórios , criptografia e complexidade da comunicação . Universidade de Stanford ,
Universidade da Califórnia, Berkeley ,
Universidade de Princeton
2001 Ole-Johan Dahl Pelas ideias fundamentais para o surgimento da programação orientada a objetos , através do projeto das linguagens de programação Simula I e Simula 67 . Centro de Computação Norueguês ,
Universidade de Oslo
Kristen Nygaard Kristen-Nygaard-SBLP-1997-head.png
2002 Ron Rivest Ronald L Rivest foto.jpg Por sua engenhosa contribuição para tornar a criptografia de chave pública útil na prática. Instituto de Tecnologia de Massachusetts
Adi Shamir Adi Shamir na TU Darmstadt (2013).jpg
Leonard Adleman Len-mankin-pic.jpg Universidade do Sul da California
2003 Alan Kay Alan Kay (3097597186) (cropped).jpg Por ser pioneiro em muitas das ideias na raiz das linguagens de programação orientadas a objetos contemporâneas , liderando a equipe que desenvolveu Smalltalk e por contribuições fundamentais para a computação pessoal. University of Utah ,
PARC ,
Stanford University ,
Atari ,
Apple ATG ,
Walt Disney Imagineering ,
Viewpoints Research Institute ,
HP Labs
2004 Vint Cerf Dr Vint Cerf ForMemRS (cropped).jpg Pelo trabalho pioneiro em interconexão de redes , incluindo o projeto e implementação dos protocolos básicos de comunicação da Internet, TCP/IP , e pela liderança inspirada em redes. Universidade da Califórnia, Los Angeles ,
Universidade de Stanford , DARPA ,
MCI (agora sob a Verizon ),
CNRI , Google
Bob Kahn Bob Kahn.jpg MIT ,
Bolt Beranek e Newman ,
DARPA ,
CNRI
2005 Peter Naur Peternaur.JPG Pelas contribuições fundamentais ao projeto de linguagem de programação e à definição de ALGOL 60 , ao projeto de compiladores e à arte e prática da programação de computadores. Regnecentralen (agora sob Fujitsu ),
Universidade de Copenhague
2006 Frances Allen Allen mg 2528-3750K-b.jpg Pelas contribuições pioneiras para a teoria e prática de otimização de técnicas de compilador que lançaram as bases para a otimização de compiladores modernos e execução paralela automática. IBM
2007 Edmundo M. Clarke Edmund Clarke FLoC 2006 (cropped).jpg Por suas funções no desenvolvimento de verificação de modelo em uma tecnologia de verificação altamente eficaz, amplamente adotada nas indústrias de hardware e software. Universidade de Harvard ,
Universidade Carnegie Mellon
E. Allen Emerson E-allen-emerson (cropped).jpg Universidade de Harvard ,
Universidade do Texas em Austin
Joseph Sifakis Joseph Sifakis img 0966.jpg Centro Nacional Francês de Pesquisa Científica
2008 Bárbara Liskov Barbara Liskov Cientista da computação do MIT 2010.jpg Pelas contribuições aos fundamentos práticos e teóricos da linguagem de programação e design de sistemas, especialmente relacionados à abstração de dados, tolerância a falhas e computação distribuída. Instituto de Tecnologia de Massachusetts
2009 Charles P. Thacker Chuckthacker (cortado).jpg Por seu projeto pioneiro e realização do Xerox Alto , o primeiro computador pessoal moderno, e também por suas contribuições para a Ethernet e o Tablet PC. PARC ,
DEC , Pesquisa
da Microsoft
2010 Leslie Valiant Leslie Valiant (cropped).jpg Pelas contribuições transformadoras para a teoria da computação , incluindo a teoria do aprendizado provavelmente aproximadamente correto ( PAC ), a complexidade da enumeração e da computação algébrica e a teoria da computação paralela e distribuída. Universidade de Harvard
2011 Judéia Pérola Judea Pearl no NIPS 2013 (11781981594) (cropped).jpg Pelas contribuições fundamentais para a inteligência artificial através do desenvolvimento de um cálculo para raciocínio probabilístico e causal. Universidade da Califórnia, Los Angeles
Instituto de Tecnologia de Nova Jersey
2012 Silvio Micali Silvio Micali (cropped).jpg Pelo trabalho transformador que estabeleceu os fundamentos teóricos da complexidade para a ciência da criptografia e, no processo, foi pioneiro em novos métodos para verificação eficiente de provas matemáticas na teoria da complexidade. Instituto de Tecnologia de Massachusetts
Shafi Goldwasser Shafi Goldwasser.JPG Instituto de Tecnologia de Massachusetts ,
Instituto de Ciência Weizmann
2013 Leslie Lamport Leslie Lamport.jpg Pelas contribuições fundamentais para a teoria e prática de sistemas distribuídos e simultâneos, notadamente a invenção de conceitos como causalidade e relógios lógicos, segurança e vivacidade, máquinas de estado replicadas e consistência sequencial. Massachusetts Computer Associates (agora sob a Essig PLM),
SRI International ,
DEC ,
Compaq (agora sob a HP ),
Microsoft Research
2014 Michael Stonebraker Michael Stonebraker P1120062.jpg Para contribuições fundamentais para os conceitos e práticas subjacentes aos sistemas de banco de dados modernos. Universidade da Califórnia, Berkeley ,
Instituto de Tecnologia de Massachusetts
2015 Whitfield Diffie Whitfield Diffie Royal Society (cropped).jpg Por contribuições fundamentais para a criptografia moderna. O trabalho inovador de Diffie e Hellman de 1976, "New Directions in Cryptography", introduziu as ideias de criptografia de chave pública e assinaturas digitais, que são a base para a maioria dos protocolos de segurança usados ​​regularmente na Internet atualmente. Universidade de Stanford
Martin Hellman Martin-Hellman.jpg
2016 Tim Berners-Lee Sir Tim Berners-Lee (cropped).jpg Por inventar a World Wide Web , o primeiro navegador da Web , e os protocolos e algoritmos fundamentais que permitem a expansão da Web. CERN ,
Instituto de Tecnologia de Massachusetts ,
World Wide Web Consortium
2017 John L. Hennessy John L Hennessy (cortado).jpg Por ser pioneiro em uma abordagem sistemática e quantitativa para o projeto e avaliação de arquiteturas de computador com impacto duradouro na indústria de microprocessadores. Universidade de Stanford
David Patterson David A Patterson.jpg Universidade da California, Berkeley
2018 Yoshua Bengio Yoshua Bengio - 2017.jpg Para avanços conceituais e de engenharia que tornaram as redes neurais profundas um componente crítico da computação. Université de Montréal , McGill University ,
Mila
Geoffrey Hinton Geoffrey Hinton na UBC (cropped).jpg Universidade de Toronto ,
Universidade da Califórnia, San Diego ,
Universidade Carnegie Mellon ,
University College London ,
Universidade de Edimburgo ,
Google AI
Yann LeCun Yann LeCun - 2018 (cortado).jpg University of Toronto ,
Bell Labs ,
Courant Institute of Mathematical Sciences , New York University ,
Meta AI
2019 Edwin Catmull VES Awards 89 cropped.jpg Para contribuições fundamentais para gráficos de computador 3-D e o impacto revolucionário dessas técnicas em imagens geradas por computador (CGI) na produção de filmes e outras aplicações. Universidade de Utah ,
Pixar ,
Walt Disney Animation Studios
Pat Hanrahan Pat Hanrahan Tableau Customer Conference 2009.jpg Pixar ,
Universidade de Princeton ,
Universidade de Stanford
2020 Alfred Aho Para algoritmos fundamentais e teoria subjacente à implementação da linguagem de programação e para sintetizar esses resultados e os de outros em seus livros altamente influentes, que educaram gerações de cientistas da computação. Laboratórios Bell ,
Universidade de Columbia
Jeffrey Ullman Laboratórios Bell ,
Universidade de Princeton ,
Universidade de Stanford
2021 Jack Dongarra Jack-dongarra-2022.jpg Pelas contribuições pioneiras para algoritmos numéricos e bibliotecas que permitiram que o software computacional de alto desempenho acompanhasse as melhorias exponenciais de hardware por mais de quatro décadas. Argonne National Laboratory ,
Oak Ridge National Laboratory ,
University of Manchester ,
Texas A&M University Institute for Advanced Study ,
University of Tennessee ,
Rice University
2022 Robert Metcalfe Com Bob Metcalfe (cropped).jpg Para a invenção, padronização e comercialização de Ethernet . Instituto de Tecnologia de Massachusetts , Universidade de Harvard , Xerox PARC , Universidade do Texas em Austin

Veja também

Referências

links externos