L'implementazione di un riferimento nullo nel 1965 rimane l'errore più citato nella carriera di Tony Hoare, il quale lo ha descritto come un errore da un miliardo di dollari. Oltre a questa ammissione, i suoi contributi fondamentali all'informatica includono lo sviluppo dell'algoritmo quicksort, la logica formale per la verifica dei programmi e la specificazione dei sistemi concorrenti tramite i Processi Sequenziali Comunicanti.
Formazione iniziale e scambio sovietico
Nato a Colombo nel 1934, Tony Hoare ha completato i suoi studi scolastici iniziali presso la Dragon School di Oxford e la The King's School di Canterbury. Ha studiato Lettere Classiche e Filosofia al Merton College dell'Università di Oxford, laureandosi nel 1956. Durante il successivo servizio di leva nella Royal Navy, ha acquisito una buona padronanza della lingua russa. Questa competenza gli ha permesso di trascorrere un periodo come studente di scambio del British Council presso l'Università Statale Lomonosov di Mosca, dove ha studiato traduzione automatica sotto la supervisione di Andrej Kolmogorov.
Contributi agli algoritmi e alla logica
Nel 1960, lasciando l'Unione Sovietica, Hoare è entrato a far parte della Elliott Brothers Ltd a Londra. Durante questo periodo ha sviluppato l'algoritmo quicksort e ha lavorato su un compilatore per l'ALGOL 60. Il suo percorso professionale lo ha portato a ricoprire incarichi accademici, tra cui quello di professore di informatica presso la Queen's University di Belfast nel 1968. È tornato all'Università di Oxford nel 1977, dove ha diretto il Programming Research Group e ha ricoperto il ruolo di primo professore di informatica Christopher Strachey dal 1988 fino al suo pensionamento nel 2000.
Metodi formali e concorrenza
La ricerca di Hoare si è concentrata sull'integrità strutturale del software. Ha sviluppato la logica di Hoare per fornire una base assiomatica per verificare la correttezza dei programmi. Nel campo del calcolo concorrente, ha introdotto i Processi Sequenziali Comunicanti (CSP), un linguaggio formale progettato per specificare le interazioni tra processi concorrenti. Il suo lavoro in questi ambiti mirava a risolvere i problemi di affidabilità nei sistemi su larga scala, sebbene in seguito abbia riconosciuto che l'adozione industriale di tali metodi formali ha incontrato notevoli limitazioni nella pratica.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Riconoscimenti professionali e ultimi anni
Nel corso della sua carriera Hoare ha ricevuto numerosi riconoscimenti, tra cui il Premio Turing dell'ACM nel 1980, la Medaglia Faraday nel 1985 e il titolo di baronetto nel 2000. È stato membro della Royal Society e di diverse organizzazioni internazionali, tra cui la National Academy of Sciences e l'Academia Europaea. Dopo il suo pensionamento da Oxford, ha lavorato come ricercatore principale presso Microsoft Research a Cambridge. Hoare è morto a Cambridge il 5 marzo 2026.
Informazioni principali
- Nato: 1934, Colombo - Deceduto: 2026, Cambridge - Algoritmo notevole: Quicksort - Campo principale: Informatica - Anno del Premio Turing: 1980 - Principali ruoli accademici: Università di Oxford, Queen's University di Belfast - Nominato cavaliere: 2000 - Lingue parlate: latino, inglese, russo, greco antico
Domande frequenti
### Qual è stato l'errore da un miliardo di dollari?
Hoare ha usato questo termine per descrivere la sua invenzione del riferimento nullo nel 1965, implementata durante la progettazione del sistema di tipi per l'ALGOL 60, osservando che ciò ha portato a diffusi errori di sistema. (Nota: ALGOL W nel testo originale).
### Cosa sono i Processi Sequenziali Comunicanti?
Si tratta di un linguaggio formale introdotto da Hoare, utilizzato per specificare e descrivere le interazioni tra processi concorrenti all'interno di un sistema informatico.
