UNIVERSIDADE FEDERAL DE ALAGOAS

TEORIA DA COMPUTAÇÃO

UMA ANÁLISE DO AVANÇO DA COMPUTAÇÃO

BASEADA NOS PRÊMIOS ALAN TURING

Lucas Amorim

Nelson Gomes Neto

NOVEMBRO DE 2017
 I. INTRODUÇÃO

Neste trabalho faremos uma análise de diversas áreas da computação, tendo como base o
prêmio de Alan Turing, promovido pela ACM (ACM A.M. Turing Award). Para isso,
subdividiremos cada uma dessas áreas em seções, e para cada uma delas faremos um resumo
dos avanços obtidos.

LINGUAGENS DE PROGRAMAÇÃO

O primeiro prêmio focado na área de linguagens de programação foi concedido a John Backus,
em 1977, pela sua contribuição no design de linguagens de programação de alto nível,
principalmente na linguagem FORTRAN (IBM Mathematical FORmula TRANslating System), tal
linguagem ganhou força considerável na comunidade científica, e tornou-se a linguagem de
programação dominante para aplicações científicas por décadas.

Logo no fim da década de 70/início da década de 80, tivemos prêmios em dois anos sucessivos, ambos
por contribuições na área de linguagens de programação. Kenneth Iverson ganhou o prêmio de 1979,
principalmente pelo seu pioneirismo no trabalho com a linguagem APL (A Programming Language),
que iniciou na verdade como uma notação para descrever algoritmos. Já Tony Hoare ganhou o prêmio
de 1980 por suas contribuições fundamentais na definição e design de linguagens de programação.
Em 1984, Niklaus Wirth recebeu o prêmio por desenvolver uma série de linguagens de programação
inovadoras, entre elas EULER, ALGOL-W, MODULA e PASCAL. PASCAL tornou-se a base para as futuras
linguagens de programação, sistemas e pesquisa arquitetônica.

Nos anos 2000 notou-se um crescente interesse na área de sistemas distribuídos, Barbara Liskov foi
premiada em 2008 por suas contribuições na base prática e teórica de linguagens de programação e
design de sistemas, especialmente relacionado à abstração de dados, tolerância ao erro e computação
distribuída. Já Leslie Lamport recebeu o prêmio de 2013, por contribuições fundamentais à teoria e
prática de sistemas concorrentes e distribuídos, notavelmente a invenção de conceitos como a
causalidade e relógios lógicos, segurança e vivacidade, máquinas de estado replicadas e consistência
sequencial.

Não podemos deixar de citar o prêmio de 2003, concedido a Alan Kay, por ser pioneiro em diversas
ideias na raiz das linguagens de programação orientadas a objeto contemporâneas, liderando o time
que desenvolveu a linguagem Smalltalk.
 CRIPTOGRAFIA

Criptografia é uma necessidade relativamente recente, mas que está se tornando exponencialmente
mais importante conforme os anos passam. Manuel Bluem, em 1995, recebeu o prêmio de Turing em
reconhecimento por suas contribuições a bases para a teoria da complexidade e sua aplicação em
criptografia e verificação de programa. Não muito tempo depois, em 2000, Andrew Yao fez grandes
contribuições para a área de teoria da computação, incluindo a teoria baseada em complexidade da
geração de números pseudoaleatórios e complexidade comunicacional. Andrew Yao em seus artigos
tratou da criptografia de chave pública de uma perspectiva teórica, algo que depois se tornaria um
dos mecanismos de criptografia mais usados e difundidos do mundo.

O prêmio de 2002 teve 3 ganhadores, Ronald Rivest, Leonard Adleman e Adi Shamir, professores do
MIT, por suas engenhosas contribuições para colocar a teorizada criptografia de chave pública em uso.
Foram os inventores do algoritmo de criptografia RSA, o mais famoso e bem-sucedido algoritmo de
criptografia. O RSA pode não ser o algoritmo de criptografia mais rápido, mas com certeza se mostrou
importantíssimo para a área, em específico na criptografia de chave pública.

INTELIGÊNCIA ARTIFICIAL

A área de inteligência artificial está em constante evolução, mas isso não quer dizer que os trabalhos
tenham iniciado recentemente. Em 1975 Allen Newell e Herbert Simon receberam o prêmio de Alan
Turing. Em esforços científicos conjuntos que duraram 20 anos, inicialmente em colaboração com J.C.
Shaw na RAND Corporation, e depois com inúmeros professores e colegas de alunos na Universidade
Carnegie-Mellon, Simon e Allen fizeram importantes contribuições para a inteligência artificial e para
a psicologia de cognição humana.

Em 1994, Edward Feigenbaum e Raj Reddy mostraram-se pioneiros no design e construção de

sistemas de inteligência artificial de grande escala, demonstrando a importância prática e o potencial
impacto comercial da tecnologia de inteligência artificial.

Mais recentemente, em 2011, Judea Pearl foi laureado por suas contribuições fundamentais na área
da inteligência artificial através do desenvolvimento de um cálculo para o raciocínio probabilístico e
causal.
 COMPLEXIDADE COMPUTACIONAL

Muito pertinente à disciplina, a complexidade computacional é um campo da teoria da

computação que foca na classificação de problemas computacionais de acordo com sua
dificuldade, e na relação dessas classes uma entre as outras. Em 1993, Juris Hartmanis e Richard
Stearns foram laureados, em reconhecimento de seus artigos pioneiros que estabeleceram as
bases para o campo da teoria da complexidade computacional.

No trabalho sobre a complexidade computacional dos algoritmos, eles forneceram uma definição
precisa da medida de complexidade definida pelo tempo de computação em máquinas de Turing
e desenvolveram uma teoria das classes de complexidade. O papel despertou a imaginação de
muitos cientistas da computação e levou ao estabelecimento da teoria da complexidade como
parte fundamental da disciplina.

Stephen Cook recebeu o prêmio de 1982, pelo avanço na compreensão da complexidade

computacional de forma significativa. Seu artigo, "A Complexidade dos Procedimentos de Prova
do Teorema", apresentado no Simpósio ACM SIGACT de 1971 sobre a Teoria da Computação,
lançou as bases para a teoria da NP-Completude. A exploração dos limites e a natureza da classe
de problemas NP-completo foi uma das atividades de pesquisa mais ativas e importantes em
ciência da computação na última década.