Prêmio Turing

Prêmio Turing

prêmio turing - Wikilingue - Encydia

O Prêmio Turing é considerado por muitos como o Prêmio Nobel da Informática. É outorgado anualmente pela Associação para a Maquinaria Computacional (ACM) a quem tenham contribuído de maneira trascendental ao campo das ciências computacionales.

O galardão rende tributo a Alan Mathison Turing e actualmente é patrocinado pela empresa Intel e Google, que contribuem uma carteira de 250 mil dólares estadounidenses ao ganhador. Depois de 40 anos de existência, em 2006 outorgou-se o galardão à primeira mulher, Frances Allen.

Galardoados

Galardoados com o Prêmio Turing

Ano	Nome(s)	Motivo
1966	Alan Perlis	Por sua influência nas áreas de técnicas de programação avançadas e construção de compiladores.
1967	Maurice V. Wilkes	Pelo desenho e construção de EDSAC , o primeiro computador de programa armazenado em memória interna.
1968	Richard Hamming	Por seu trabalho em métodos numéricos, sistemas de codificação automáticos, e pelo desenvolvimento de códigos de detecção e correcção de erros.
1969	Marvin Minsky	Por seus contribuas em inteligência artificial.
1970	J.H. Wilkinson	Por suas investigações em análise numérico para facilitar o uso de computadores digitais de alta velocidade.
1971	John McCarthy	Por seus contribuas ao campo de inteligência artificial.
1972	Edsger Dijkstra	Por suas contribuições à "ciência e arte" das linguagens de programação.
1973	Charles W. Bachman	Por seus contribuas à tecnologia de banco# de dados.
1974	Donald Erwin Knuth	Por suas contribuições a análises de algorítmos e o desenho de linguagens de programação.
1975	Allen Newell Herbert A. Simon	Por seus contribuas em inteligência artificial, a psicologia da percepción humana e processamento de listas.
1976	Michael Ou. Rabin Dana S. Scott	Por seu trabalho em autómatas finitos, introduzindo a ideia de máquinas não deterministas.
1977	John Backus	Por suas contribuições ao desenho de sistemas de programação de alto nível e pela publicação de procedimentos formais para a especificação de linguagens de programação.
1978	Robert W. Floyd	Por sua influência em metodologías para a criação de software eficiente e fiável, e por suas contribuas nos seguintes campos: teoria de análise sintáctico, semántica em linguagens de programação, verificação automática de programas, síntese automática de programas e análise de algorítmos.
1979	Kenneth E. Iverson	Por seus pioneiros esforços em linguagens de programação e anotação matemática, dando como resultado APL.
1980	C. Antony R. Hoare	Por suas importantes contribuições à definição e desenho de linguagens de programação.
1981	Edgar F. Codd	Por suas contínuas e importantes contribuas à teoria e prática dos sistemas de gestão de banco# de dados, criando o enfoque relacional da gestão de banco# de dados.
1982	Stephen A. Cook	Por seus contribuas no campo da complexidade computacional. Criou os fundamentos da teoria de NP-completitud .
1983	Kenneth L. Thompson Dennis M. Ritchie	Por suas contribuições ao desenvolvimento de sistemas operativos em general e a criação de Unix em particular.
1984	Niklaus Wirth	Pelo desenvolvimento de uma série de inovadoras linguagens de programação como EULER, ALGOL-W, MODULA e PASCAL.
1985	Richard M. Karp	Por suas contribuições à teoria de algorítmos, a identificação de problemas computables em tempo polinomial e à teoria de NP-completitud.
1986	John Hopcroft Robert Tarjan	Por seus lucros na análise e desenho de algorítmos e estruturas de dados.
1987	John Cocke	Por seu contribua à teoria de compiladores, arquitectura de grandes sistemas e o desenvolvimento de jogo de instruções reduzido RISC.
1988	Ivan Sutherland	Por seus contribuas à computação gráfica.
1989	William (Velvel) Kahan	Por suas contribuições à análise numérica, particularmente em computação em coma flutuante.
1990	Fernando J. Corbató	Por seu trabalho liderando o desenvolvimento de CTSS e Multics.
1991	Robin Milner	Por três lucros: Desenvolvimento do sistema LCF, provavelmente a primeira ferramenta de demonstração automática de teoremas. Desenvolvimento da linguagem ML, metalenguaje para escrever estratégias e tácticas em LCF. Primeira linguagem em possuir um sistema polimórfico de tipos com inferência automatizada e manejo de excepções seguro desde o ponto de vista de tipos. Desenvolvimento de um marco teórico para a análise de sistemas concorrentes, o cálculo de sistemas comunicantes (CCS) e seu sucessor, o pi-cálculo.
1992	Butler W. Lampson	Por suas contribuições ao desenvolvimento de meios distribuídos e a tecnologia para sua implementação: estações de trabalho, redes, sistemas operativos, sistemas de programação, monitores, publicação de documentos e segurança.
1993	Juris Hartmanis Richard E. Stearns	Por estabelecer os fundamentos do campo da teoria de complexidade computacional.
1994	Edward Feigenbaum Raj Reddy	Pelo desenho e construção de grandes sistemas de inteligência artificial.
1995	Manuel Blum	Em reconhecimento por seus contribuas aos fundamentos da teoria de complexidade computacional e sua aplicabilidad à criptografía.
1996	Amir Pnueli	Por seu trabalho introduzindo a lógica temporária em informática e por seus importantes contribuas à verificação de programas e sistemas.
1997	Douglas Engelbart	Por seu trabalho em computação interactiva.
1998	Jim Gray	Por suas contribuições em banco# de dados, investigação no processamento de transacções e implementação de sistemas.
1999	Frederick P. Brooks, Jr.	Por suas contribuições a arquitectura de computadores, sistemas operativos e engenharia do software.
2000	Andrew Chi-Chih Yao	Em reconhecimento de seus importantes contribuas à teoria da computação, criptografía.
2001	Ole-Johan Dahl Kristen Nygaard	Por seu trabalho nas linguagens de programação Simula I e Simula 67, que permitiram o aparecimento da programação orientada a objectos.
2002	Ronald Rivest Adi Shamir Leonard Adleman	Importantes contribuas à criptografía, em particular o algorítmo RSA.
2003	Alan Kay	Pioneiro da programação orientada a objectos e pai da linguagem Smalltalk.
2004	Vinton G. Cerf Robert E. Kahn	Pelo protocolo TCP/IP.
2005	Peter Naur	Por suas contribuições fundamentais no desenvolvimento e definição do ALGOL 60, seu desenho do compilador e a arte na prática da programação.
2006	Frances Allen	Por suas contribuições que melhoraram fundamentalmente o rendimento dos programas de computador e aceleraram o uso de sistemas de computação de alto rendimento.
2007	Edmund M. Clarke E. Allen Emerson Joseph Sifakis	Por seu trabalho pioneiro em um método automatizado (chamado "model checking" em inglês) para encontrar erros de desenho em software e hardware.
2008	Barbara H. Liskov	Por sua contribuição aos fundamentos teóricos e práticos no desenho de linguagens de programação e sistemas, especialmente relacionados com a abstracção de dados, tolerância a falhas e computação distribuída.
2009	Charles P. Thacker	Por sua contribuição ao desenvolvimento de Alto, o primeiro computador pessoal, bem como de Ethernet e o Tablet PC.

Número de galardões por nacionalidade

Esta é a distribuição dos Prêmios Turing desde 1966 até 2009. As nacionalidades dos galardoados estão baseadas em seu lugar de nascimento, não onde desenvolveram seu trabalho como investigadores.

• EE. UU.: 35
• Reino Unido: 6
• Israel: 3
• Noruega: 2
• Canadá: 2
• China: 1
• Dinamarca: 1
• Letónia: 1
• Países Baixos: 1
• Suíça: 1
• Venezuela: 1
• Grécia: 1

Enlaces externos

• Lugar oficial do Prêmio Turing (em inglês).

This page is based in an article from Wikipedia (please colaborate or donate).
Reutilization of the present article (modified or copied) is encouraged with the only conditions of adding a link to this page and to keep the same license.