Turing Award
Origem: Wikipédia, a enciclopédia livre.
O A.M. Turing Award (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 US$100.000,00 (cem mil dolares americanos).
Tanto os laureados quanto os campos em que estes ganharam reconhecimento estão listados abaixo. Procure individualmente para mais detalhes.
Índice |
[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
- Holanda: 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. |
[editar] Veja também
- Nevanlinna Prize
- List of awards
- Prizes named after people
- Prêmio Turing