Prêmio Turing

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou se(c)ção não cita fontes fiáveis e independentes (desde julho de 2013). Por favor, adicione referências e insira-as no texto ou no rodapé, conforme o livro de estilo. Conteúdo sem fontes poderá ser removido.

O Prêmio Turing é concedido anualmente pela Associação para Maquinaria da Computação (em inglês: Association for Computing Machinery, ou ACM) para uma pessoa selecionada por contribuições à computação. As contribuições devem ser duradouras e fundamentais no campo computacional.[1]

A denominação do prêmio é homenagem a Alan Mathison Turing, um matemático britânico considerado um dos pais da ciência da computação moderna. O prêmio é conhecido como o "Prêmio Nobel da computação". É patrocinado pela Intel Corporation e acompanhado atualmente por um prêmio monetário no valor de 250.000,00 USD (duzentos e cinquenta mil dolares americanos).

Nacionalidades[editar | editar código-fonte]

A maior parte dos laureados é estado-unidense. De 1966 a 2008:

País Laureados Soma
 Estados Unidos 38 38
 Reino Unido 6 44
 Israel 3 47
 Canadá 2 49
 Noruega 2 51
 Países Baixos 1 52
Suíça 1 53
 Dinamarca 1 54
 Grécia 1 55
 Venezuela 1 56
 China 1 57

Laureados[editar | editar código-fonte]

Ano Imagem Nome País Citação
1966 1 Replace this image male.png Alan Perlis  Estados Unidos Programação avançada e construção de compiladores.
1967 2 Maurice V Wilkes.jpg Maurice Vincent Wilkes  Reino Unido Professor Wilkes é mais conhecido pelo projeto do EDSAC, o primeiro computador com um programa embutido. Construído em 1949, o EDSAC usava uma mercury delay line memory. É também autor, com Wheeler e Gill, de "Preparation of Programs for Electronic Digital Computers" em 1951, em que bibliotecas de programas foram introduzidas de forma eficiente.
1968 3 Replace this image male.png Richard Hamming  Estados Unidos Pelo seu trabalho em métodos numéricos, sistemas de códigos automáticos, e dectores e corretores de erros de código.
1969 4 Marvin Minsky at OLPCb.jpg Marvin Minsky Inteligência artificial.
1970 5 75px James H. Wilkinson  Reino Unido Pela sua pesquisa em análise numérica que facilitou o uso de computadores digitais rápidos, álgebra linear e análise de erros de "backward".
1971 6 John McCarthy Stanford.jpg John McCarthy  Estados Unidos Sua palestra "The Present State of Research on Artificial Intelligence".
1972 7 Edsger Wybe Dijkstra.jpg Edsger Dijkstra  Países Baixos Edsger Dijkstra foi o principal contribuidor no final dos anos 1950 para o desenvolvimento do ALGOL, uma linguagem de programação de alto nível, modelo de clareza e rigor matemático. Ele é um dos maiores expoentes na arte e ciência das linguagens de programação, e contribuiu enormemente para a compreessão de sua estrutura, representação, e implementação. Seus quinze anos de publicações vão de artigos teóricos na teoria dos grafos até manuais, textos expositores, e filosofia contemplativa no campo das linguagens de programação.
1973 8 Replace this image male.png Charles Bachman  Estados Unidos Pelas contribuições a tecnologia de banco de dados.
1974 9 KnuthAtOpenContentAlliance.jpg Donald Knuth Pelas suas contribuições na análise de algoritmos e projeto de linguagens de programação, em particular por suas contribuições para "The Art of Computer Programming(A Arte da Programação de Computadores)" por uma série de livros com este título.
1975 10 Replace this image male.png Allen Newell Por juntarem esforços científicos por mais de vinte anos, inicialmente em colaboração com J. C. Shaw na RAND Corporation, e subsequenciamente com numerosos colegas na Carnegie Mellon University, fizeram contribuições básicas para a inteligência artificial, psicologia da cognitividade humana, e processo de listas.
11 Herbert Simon
1976 12 Michael O. Rabin.jpg Michael Rabin  Israel Pelo artigo "Finite Automata and Their Decision Problem", escrito por ambos, que introduziu a idéia de máquina não determinista, o que se provou um conceito de enorme valor. O seu (Scott & Rabin) artigo clássico foi fonte de inspiração para vários trabalhos neste campo.
13 Scott Dana small.jpg Dana Scott  Estados Unidos
1977 14 Replace this image male.png John Backus Por profundas, influentes, e duradouras contribuições para o projeto de sistemas práticos de programação de alto-nível, principalmente através de seu trabalho com o Fortran, e por publicações importantes na especificação formal de procedimentos de linguagens de programação.
1978 15 Replace this image male.png Robert Floyd Por deixar uma clara influência nas metodologias para a criação de software eficiente e confiável, e ajudar a fundar os seguintes campos importantes da ciência da computação: teoria do parsing, a semântica das linguagens de programação, verificação automática de programas, programação automática, e análise de algoritmos.
1979 16 Replace this image male.png Kenneth Iverson  Canadá Por seu esforço pioneiro nas linguagens de programação e na notação matemática num campo conhecido hoje como APL, por suas contribuições para a implementação de sistemas interativos, uso educacional das APL, e teoria e prática das linguagens de programação.
1980 17 Hoare.jpg C.A.R. Hoare  Reino Unido Por sua contribuição fundamental para a definição e projeto de linguagens de programação.
1981 18 Replace this image male.png Edgar Frank Codd Por sua contínua e fundamental contribuição para a teoria prática dos sistemas gerenciadores de banco de dados.
1982 19 Prof.Cook.jpg Stephen Cook  Estados Unidos Pelo avanço no entendimento da complexidade da computação de forma significante e profunda.
1983 20 Ken Thompson 02.jpg Ken Thompson Pelo desenvolvimento da teoria geral de sistemas operacionais e especialmente pela implementação do sistema operacional UNIX.
21 Dennis Ritchie.jpg Dennis Ritchie
1984 22 Niklaus Wirth, UrGU.jpg Niklaus Wirth Suíça Por desenvolver uma série de linguagens de computador inovadoras, EULER, ALGOL-W, MODULA e PASCAL.
1985 23 Karp mg 7725-b.cr2.jpg Richard Karp  Estados Unidos Por sua contínua contribuição para a teoria dos algoritmos, incluindo o desenvolvimento de algoritmos eficientes para fluxo de rede e outros problemas de combinação, a identificação de tempo-plinominal com a noção intuitiva de eficiência do algoritmo e, mais notadamente, contribuições para a teoria de NP-Completude.
1986 24 Hopcrofg.jpg John Hopcroft Por realizações fundamentais no projeto e análise de algoritmos e estruturas de dados.
25 Bob Tarjan.jpg Robert Tarjan
1987 26 Replace this image male.png John Cocke Por contribuições significativas no projeto e teoria dos compiladores, a arquitetura de vários sistemas e o desenvolvimento da arquitetura RISC.
1988 27 Ivan Sutherland at CHM.jpg Ivan Sutherland Por sua contribuição visionária e pioneira para a computação gráfica, começando com o Sketchpad, e continuação posterior.
1989 28 Replace this image male.png William Kahan  Canadá Por sua contribuição fundamental para a análise numérica. Um dos primeiros peritos em computação de ponto-flutuante, dedicou-se a "fazer o mundo seguro para computações numéricas".
1990 29 Fernando Corbato.jpg Fernando Corbató  Estados Unidos Por seu trabalho pioneiro organizando os conceitos e liderando o desenvolvimento de sistema de computação de general-purpose(propósito-geral), large-scale(larga-escala), time-sharing(compartilhamento de tempo) and resource-sharing (compartilhamento de recursos) , CTSS e Multics.
1991 30 Replace this image male.png Robin Milner  Reino Unido Por três diferentes contribuições: 1- LCF, a mecanização das funções lógicas de computação de Scott, provavelmente a primeira ferramenta prática para uma máquina de demonstração de teoremas (machine assisted proof construction); 2- ML, a primeira linguagem a incluir um tipo inferente polimórfico junto a um tipo de mecanismo de tratamento seguro de exceções; 3- CCS, uma teoria geral de computador concorrente. Além disto, ele formulou e avançou fortemente com a abstração, o estudo do relacionamento entre a semântica operacional e de denotação (operational semantics/denotational semantics).
1992 31 Professional Developers Conference 2009 Technical Leaders Panel 6.jpg Butler Lampson  Estados Unidos Por contribuições para o desenvolvimento de ambientes de computação pessoal distribuídos e a tecnologia para a sua implementação: workstations, rede de computadores, Sistemas operacionais, sistemas de programação, displays, segurança e publicação de documentos.
1993 32 Juris Hartmanis(2002).jpg Juris Hartmanis Em reconhecimento ao seu artigo em que estabeleceu as fundações para o campo da teoria da complexidade computacional.
33 Dick Stearns.jpg Richard Stearns
1994 34 Replace this image male.png Edward Feigenbaum Pelo pioneirismo no projeto de construção em larga escala de sistemas de inteligência artificial, demonstrando a importância prática e potencial comercial desta tecnologia.
35 ProfRajReddy-3.jpg Raj Reddy
1995 36 Replace this image male.png Manuel Blum  Venezuela Em reconhecimento a sua contribuição para os fundamentos da teoria da complexidade computacional e sua aplicação para criptografia e validação de programas.
1996 37 Amir Pnueli.jpg Amir Pnueli  Israel Pelo trabalho introdutório lógica temporal na ciência da computação e por importantes contribuições para a verificação formal de programas e sistemas.
1997 38 Douglas Engelbart in 2008.jpg Douglas Engelbart  Estados Unidos Por uma visão inspirada do futuro da computação interativa e a invenção de tecnologias chaves que ajudaram a realizar esta visão.
1998 39 Jim Gray Computing in the 21st Century 2006.jpg James Gray Por contribuições a pesquisa de banco de dados, processo de transações e liderança técnica na implementação de sistemas.
1999 40 Fred Brooks.jpg Fred Brooks Por contribuições marcantes para a arquitetura de computadores, sistemas operacionais, e engenharia de software.
2000 41 Andrew Yao.jpg Andrew Chi-Chih Yao  China Em reconhecimento pela sua contribuição fundamental para a teoria da computação, incluindo a teoria (complexity-based) da geração de números pseudo-aleatórios, criptografia, e complexidade da comunicação.
2001 42 Replace this image male.png Ole-Johan Dahl  Noruega Por idéias fundamentais para o surgimento da programação orientada ao objeto, por meio do projeto das linguagens de programação Simula I e Simula 67.
43 Kristen-Nygaard-SBLP-1997-head.png Kristen Nygaard
2002 44 Rivest cropped.jpg Ronald Rivest  Estados Unidos Por sua engenhosa contribuição em fazer uso prático da criptografia de chave pública.
45 Adi Shamir 2009.jpg Adi Shamir  Israel
46 Len-mankin-pic.jpg Leonard Adleman  Estados Unidos
2003 47 Alan Kay Pelo pionerismo em muitas da idéias da raiz das atuais linguagens de programação orientadas a objeto, liderando o grupo que desenvolveu o Smalltalk, e por contribuições fundamentais para a computação pessoal.
2004 48 Vint Cerf - 2010.jpg Vint Cerf Pelo trabalho pioneiro em internetworking, incluindo o projeto e implementação do TCP/IP , protocolo de comunicação base da Internet, e por inspirar liderança em networking (trabalho de rede).
49 Bob Kahn.jpg Robert Kahn
2005 50 Peternaur.JPG Peter Naur  Dinamarca Pela contribuição fundamental para o projeto das linguagens de programação e definição do Algol 60, e projeto de compilador, a para a arte e prática da programação de computadores.
2006 51 Allen mg 2528-3750K-b.jpg Frances Allen  Estados Unidos Pela contribuição que aumentaram o desempenho dos programas de computador resolvendo problemas, e acelerando o uso de computação de alto desempenho.
2007 52 Edmund Clarke FLoC 2006.jpg Edmund Clarke Pelo desenvolvimento da Model Checking (Verificação de Modelos) em uma efetiva verificação tecnológica, largamente utilizada nas indústrias de hardware e software.
53 Replace this image male.png Ernest Allen Emerson
54 Joseph Sifakis img 0966.jpg Joseph Sifakis  Grécia
2008 55 Barbara Liskov.PNG Barbara Liskov  Estados Unidos Pelas contribuições práticas e teóricas para os fundamentos da linguagem de programação e projeto de sistemas, especialmente relacionadas com a abstração de dados, tolerância a falhas, e computação distribuída.
2009 56 Chuckthacker.jpg Charles Thacker Por sua concepção e realização pioneira do Alto, o primeiro computador pessoal moderno, e além de suas contribuições para a Ethernet e o Tablet PC.
2010 57 Leslie Valiant.jpg Leslie Valiant  Reino Unido Por contribuições transformativas à 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 distribuida.
2011 58 Judea Pearl  Israel,  Estados Unidos Por contribuições fundamentais para a inteligência artificial, através do desenvolvimento de um cálculo de raciocínio probabilístico e causal.
2012 59 Silvio Micali IMG 0459.jpg Silvio Micali  Itália,  Estados Unidos For transformative work that laid the complexity-theoretic foundations for the science of cryptography and in the process pioneered new methods for efficient verification of mathematical proofs in complexity theory.
60 Shafi Goldwasser.JPG Shafrira Goldwasser  Estados Unidos


Referências

Ligações externas[editar | editar código-fonte]