Prêmio Turing




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). A ACM anunciou em 13 de Novembro de 2014 que a premiação foi aumentada para 1.000.000 USD através de recursos fornecidos pelo Google.[2]




Índice






  • 1 Nacionalidades


  • 2 Laureados[3]


  • 3 Referências


  • 4 Ligações externas





Nacionalidades |


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































































País
Laureados
Soma

 Estados Unidos
39
39

 Reino Unido
5
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[3] |






































































































































































































































































































































































































































































































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

EDSAC (9).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 David Wheeler e Stanley 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

Replace this image male.png

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

Charles Bachman 2012.jpg

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

Replace this image male.png

Herbert Simon
1976
12

M 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

John Backus.jpg

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

27. Dr. Edward A. Feigenbaum 1994-1997.jpg

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

Blum manuel lenore avrim.jpg

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 de 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 (3097597186).jpg

Alan Kay

Pelo pionerismo em muitas da ideias 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 at NIPS 2013 (11781981594).jpg

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

Pelo trabalho transformador que estabeleceu fundamentos de complexidade teórica para a ciência da criptografia e no processo de novos métodos para a verificação eficente de provas matemáticas da teoria de complexidade.
60

Shafi Goldwasser.JPG

Shafrira Goldwasser

 Estados Unidos
2013
61

Leslie Lamport.jpg

Leslie Lamport

Por contribuições fundamentais para a teoria e prática de sistemas distribuídos e concorrentes, notavelmente pela invenção de conceitos como causalidade e relógios lógicos, segurança e liveness, máquinas de estados replicados, e consistência seqüencial.
2014
60

Michael Stonebraker 1.jpg

Michael Stonebraker

Inventou muitos dos conceitos que são utilizados em quase todos os sistemas modernos de bases de dados. Muitos dos sistemas que desenvolveu foram lançados como softwares abertos, o que garantiu a sua ampla adopção.
2015
61

Martin-Hellman.jpg

Martin Hellman

Por contribuições fundamentais para a criptografia moderna. O artigo inovador de 1976 de Diffie e Hellman, "New Directions in Cryptography",[4] introduziu as idéias de criptografia de chave pública e assinaturas digitais, que são a base para protocolos de segurança mais regularmente utilizados na internet na atualidade.[5]
62

Whitfield Diffie.png

Whitfield Diffie
2016
63

Tim Berners-Lee-Knight-crop.jpg

Tim Berners-Lee

 Reino Unido

Por inventar a World Wide Web, o primeiro navegador web, e os protocolos e algoritmos fundamentais que permitiram a escalabilidade da web.[6]
2017
64

David A Patterson.jpg

David A. Patterson

 Estados Unidos

Por serem pioneiros em uma abordagem sistemática e quantitativa para o projeto e avaliação de arquiteturas de computadores com impacto duradouro na indústria de microprocessadores.[7]
65

John L Hennessy.jpg

John LeRoy Hennessy


Referências




  1. "A. M. Turing Award" (em inglês)


  2. Virginia Gold (13 de outubro de 2014). «ACM'S TURING AWARD PRIZE RAISED TO $1 MILLION» (PDF). ACM. Consultado em 25 de fevereiro de 2015 


  3. «Chronological Listing of A. M. Turing Award Winners» (em inglês). Association for Computing Machinery. Consultado em 18 de outubro de 2016. Cópia arquivada em 26 de março de 2016 


  4. Diffie, W.; Hellman, M. (1976). «New directions in cryptography» (PDF). IEEE Transactions on Information Theory. 22 (6): 644–654. doi:10.1109/TIT.1976.1055638 


  5. «Cryptography Pioneers Receive 2015 ACM A.M. Turing Award». ACM 


  6. «Turing award 2016». ACM 


  7. «Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award». ACM 



Ligações externas |



  • Página oficial (em inglês)














Popular posts from this blog

404 Error Contact Form 7 ajax form submitting

How to know if a Active Directory user can login interactively

Refactoring coordinates for Minecraft Pi buildings written in Python