A implementação de uma referência nula em 1965 continua sendo o erro mais citado na carreira de Tony Hoare, que o descreveu como um erro de um bilhão de dólares. Além dessa admissão, suas contribuições fundamentais para a ciência da computação incluem o desenvolvimento do algoritmo quicksort, a lógica formal para verificação de programas e a especificação de sistemas concorrentes por meio de Processos Sequenciais Comunicantes.
Educação inicial e intercâmbio soviético
Nascido em Colombo em 1934, Tony Hoare recebeu sua educação escolar inicial na Dragon School em Oxford e na The King's School, Canterbury. Cursou Clássicos e Filosofia no Merton College, Universidade de Oxford, formando-se em 1956. Durante seu subsequente Serviço Nacional na Marinha Real, adquiriu proficiência na língua russa. Essa habilidade facilitou um período como estudante de intercâmbio do British Council na Universidade Estatal Lomonosov de Moscou, onde estudou tradução automática sob a supervisão de Andrei Kolmogorov.
Contribuições para algoritmos e lógica
Ao deixar a União Soviética em 1960, Hoare juntou-se à Elliott Brothers Ltd em Londres. Durante esse período, desenvolveu o algoritmo quicksort e trabalhou em um compilador para o ALGOL 60. Sua trajetória profissional o levou a cargos acadêmicos, incluindo o de Professor de Ciência da Computação na Queen's University Belfast em 1968. Retornou à Universidade de Oxford em 1977, onde liderou o Grupo de Pesquisa de Programação e atuou como o primeiro Professor Christopher Strachey de Computação de 1988 até sua aposentadoria em 2000.
Métodos formais e concorrência
A pesquisa de Hoare concentrou-se na integridade estrutural do software. Ele desenvolveu a lógica de Hoare para fornecer uma base axiomática para verificar a correção de programas. No campo da computação concorrente, introduziu os Processos Sequenciais Comunicantes (CSP), uma linguagem formal projetada para especificar interações entre processos concorrentes. Seu trabalho nessas áreas visava resolver problemas de confiabilidade em sistemas de grande escala, embora mais tarde tenha reconhecido que a adoção industrial desses métodos formais enfrentava limitações significativas na prática.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Honras profissionais e últimos anos
Ao longo de sua carreira, Hoare recebeu inúmeros prêmios, incluindo o Prêmio Turing da ACM em 1980, a Medalha Faraday em 1985 e o título de cavaleiro em 2000. Ele era membro da Royal Society e de várias organizações internacionais, incluindo a Academia Nacional de Ciências e a Academia Europaea. Após sua aposentadoria de Oxford, atuou como pesquisador principal na Microsoft Research em Cambridge. Hoare faleceu em Cambridge em 5 de março de 2026.
Fatos rápidos
- Nascimento: 1934, Colombo - Falecimento: 2026, Cambridge - Algoritmo notável: Quicksort - Campo principal: Ciência da Computação - Ano do Prêmio Turing: 1980 - Cargos acadêmicos principais: Universidade de Oxford, Queen's University Belfast - Cavaleiro: 2000 - Idiomas falados: latim, inglês, russo, grego antigo
Perguntas frequentes
### Qual foi o erro de um bilhão de dólares?
Hoare usou esse termo para descrever sua invenção da referência nula em 1965, que ele implementou ao projetar o sistema de tipos para o ALGOL W, observando que isso levou a erros generalizados no sistema.
### O que são Processos Sequenciais Comunicantes?
É uma linguagem formal introduzida por Hoare usada para especificar e descrever as interações entre processos concorrentes dentro de um sistema de computador.
