Prêmio Turing -Turing Award
Prêmio ACM Turing | |
---|---|
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 |
Último premiado | 2022 |
Local na rede Internet | amturing |
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 | 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 | 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 | 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 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 | 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 | 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 | ||||
1976 | Michael O. Rabin | 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 | Universidade de Chicago | |||
1977 | John Backus | 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 | 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 | 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 | Por seu avanço em nossa compreensão da complexidade da computação de maneira significativa e profunda. | Universidade de Toronto | |
1983 | Ken Thompson | Pelo desenvolvimento da teoria de sistemas operacionais genéricos e especificamente pela implementação do sistema operacional UNIX . | Bell Labs | |
Dennis Ritchie | ||||
1984 | Niklaus Wirth | 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 | 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 | Para conquistas fundamentais no projeto e análise de algoritmos e estruturas de dados. | Universidade de Cornell | |
Robert Tarjan |
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 | 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 | 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ó | 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 | 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 | 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 | ||||
1994 | Edward Feigenbaum | 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 |
Universidade de Stanford , Universidade Carnegie Mellon |
|||
1995 | Manuel Blum | 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 | 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 | 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 | 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 | 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 | 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 | ||||
2002 | Ron Rivest | Por sua engenhosa contribuição para tornar a criptografia de chave pública útil na prática. | Instituto de Tecnologia de Massachusetts | |
Adi Shamir | ||||
Leonard Adleman | Universidade do Sul da California | |||
2003 | Alan Kay | 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 | 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 |
MIT , Bolt Beranek e Newman , DARPA , CNRI |
|||
2005 | Peter Naur | 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 | 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 | 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 |
Universidade de Harvard , Universidade do Texas em Austin |
|||
Joseph Sifakis | Centro Nacional Francês de Pesquisa Científica | |||
2008 | Bárbara Liskov | 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 | 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 | 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 | 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 | 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 |
Instituto de Tecnologia de Massachusetts , Instituto de Ciência Weizmann |
|||
2013 | Leslie Lamport | 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 | 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 | 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 | ||||
2016 | Tim Berners-Lee | 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 | 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 | Universidade da California, Berkeley | |||
2018 | Yoshua Bengio | 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 |
Universidade de Toronto , Universidade da Califórnia, San Diego , Universidade Carnegie Mellon , University College London , Universidade de Edimburgo , Google AI |
|||
Yann LeCun |
University of Toronto , Bell Labs , Courant Institute of Mathematical Sciences , New York University , Meta AI |
|||
2019 | Edwin Catmull | 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 |
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 | 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 | 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 |