Turing Award

Origem: Wikipédia, a enciclopédia livre.

O A.M. Turing Award (ou Prêmio Turing) é dado anualmente pela Association for Computing Machinery para uma pessoa selecionada por contribuições de natureza técnica feitas para a comunidade de computação. As contribuições devem ser duradouras e ter importante aspecto para o campo da computação. Muito dos laureados são cientistas da computação.

O seu nome é homenagem a Alan Mathison Turing (1912-1954), 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 atualmente é acompanhado por um prêmio em dinheiro no valor de 100.000,00 USD (cem mil dolares americanos).

Tanto os laureados quanto os campos em que estes ganharam reconhecimento estão listados abaixo. Procure individualmente para mais detalhes.

[editar] Nacionalidades

A maior parte dos laureados é norte-americana. Veja a distribuição de 1966 até 2005:

Estados Unidos: 35
Reino Unido: 5
Israel: 3
Canadá: 2
Noruega: 2
Países Baixos: 1
Suíça: 1
Dinamarca: 1

[editar] Laureados com o Turing Award

Ano	Nome(s)	Citação
1966	Alan J. Perlis	Programação avançada e construção de compiladores.
1967	Maurice Vincent Wilkes	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	Richard Hamming	Pelo seu trabalho em métodos numéricos, sistemas de códigos automáticos, e dectores e corretores de erros de código.
1969	Marvin Minsky	Inteligência artificial.
1970	James H. Wilkinson	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	John McCarthy	Sua palestra "The Present State of Research on Artificial Intelligence".
1972	Edsger Dijkstra	Edsger Dijkstra foi o principal contribuidor no final dos anos 50 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	Charles W. Bachman	Pelas contribuições a tecnologia de banco de dados.
1974	Donald E. Knuth	Pelas suas grandes contrbuiçõ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	Allen Newell and Herbert A. Simon	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.
1976	Michael O. Rabin and Dana S. Scott	Pelo seu artigo escrito por ambos "Finite Automata and Their Decision Problem," 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.
1977	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	Robert W. 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	Kenneth E. Iverson	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	C. Antony R. Hoare	Por sua contribuição fundamental para a definição e projeto de linguagens de programação.
1981	Edgar Frank Codd	Por sua contínua e fundamental contribuição para a teoria prática dos sistemas gerenciadores de banco de dados.
1982	Stephen A. Cook	Por seu avanço do nosso entendimento da complexidade da computação de forma significante e profunda.
1983	Ken Thompson and Dennis M. Ritchie	Pelo desenvolvimento da teoria geral de sistemas operacionais e especialmente pela implementação do sistema operacional UNIX.
1984	Niklaus Wirth	Por desenvolver uma série de linguagens de computador inovadoras, EULER, ALGOL-W, MODULA e PASCAL.
1985	Richard M. Karp	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	John Hopcroft and Robert Tarjan	Por realizações fundamentais no projeto e análise de algoritmos e estruturas de dados.
1987	John Cocke	Por contribuições significativas no projeto e teoria dos compiladores, a arquitetura de vários sistemas e o desenvolvimento da arquitetura RISC (reduced instruction set computers).
1988	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	William (Velvel) Kahan	Por sua contribuição fundamental para a análise numérica. Um dos primeiros peritos em computação de ponto-flutuante. Kahan dedicou-se a "fazer o mundo seguro para computações numéricas".
1990	Fernando J. Corbató	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	Robin Milner	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	Butler W. Lampson	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	Juris Hartmanis and Richard E. Stearns	Em reconhecimento ao seu artigo em que estabeleceu as fundações para o campo da teoria da complexidade computacional.
1994	Edward Feigenbaum and Raj Reddy	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.
1995	Manuel Blum	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	Amir Pnueli	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	Douglas Engelbart	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	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	Frederick P. Brooks, Jr.	Por contribuições marcantes para a arquitetura de computadores, sistemas operacionais, e engenharia de software.
2000	Andrew Chi-Chih Yao	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	Ole-Johan Dahl and Kristen Nygaard	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.
2002	Ronald L. Rivest, Adi Shamir and Leonard M. Adleman	Por sua engenhosa contribuição em fazer uso prático da criptografia de chave pública.
2003	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	Vinton G. Cerf and Robert E. Kahn	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).
2005	Peter Naur	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	Frances E. Allen	Pela contribuição que aumentaram o desempenho dos programas de computador resolvendo problemas, e acelerando o uso de computação de alto desempenho.