看着都疼！男孩眼皮被拉链“锁”住！这6种衣服少给孩子穿！
Charles Antony Richard Hoare, detto Tony (Colombo, 11 gennaio 1934), è un informatico britannico.
Ha trovato larga fama grazie alla scoperta, nel 1960, del quicksort, l'algoritmo di ordinamento più usato al mondo. Egli ha anche sviluppato le logiche di Hoare, atte a verificare la correttezza dei programmi, e il linguaggio formale Communicating Sequential Processes (CSP) usato per specificare interazioni tra processi concorrenti.
Biografia
[modifica | modifica wikitesto]Origini e formazione
[modifica | modifica wikitesto]Nato a Colombo (Ceylon, attualmente Sri Lanka) da genitori inglesi, ha ottenuto la laurea in lettere dalla Università di Oxford (Merton College) nel 1956. Rimase poi un anno a Oxford a studiare statistica avanzata, prestando servizio civile nella Marina (1956–1958), dove imparò il russo. In seguito studiò la traduzione su elaboratore dei linguaggi naturali all'Università statale di Mosca in Unione Sovietica presso la scuola di Kolmogorov.
Nel 1960, lasciò l'Unione Sovietica e iniziò a lavorare alla Elliott Brothers, Ltd, una piccola casa di produzione di computer, dove implementò il linguaggio di programmazione ALGOL 60 e iniziò a sviluppare algoritmi. Nel 1968 diventò professore di Scienze Computazionali alla Queen's University of Belfast e nel 1977 tornò ad Oxford ricoprendo la medesima carica. Inoltre guidò un gruppo di ricerca sulla programmazione nel Laboratorio di Computazione dell'università. è tuttora professore ad Oxford ed esegue ricerche per il gruppo Microsoft a Londra.
Premi
[modifica | modifica wikitesto]- Nel 1980 ha ricevuto il Premio Turing per "il suo fondamentale contributo alla definizione e al design dei linguaggi di programmazione".
- Nel 1981 ottenne l'H. Goode Memorial Award.
- Nel 1987 gli fu conferito il Dottorato ad honorem dalla Queen's University di Belfast.
- Nel 2007 gli fu conferito il Dottorato ad honorem dal Dipartimento di informatica Università di Atene.
Libri
[modifica | modifica wikitesto]- O.-J. Dahl, Edsger Dijkstra and C. A. R. Hoare, Structured Programming, Academic Press, 1972
- C. A. R. Hoare, Communicating Sequential Processes (online at [1] Archiviato il 1o febbraio 2021 in Internet Archive. in PDF format), Prentice Hall International Series in Computer Science, 1985
- C. A. R. Hoare and M. J. C. Gordon, Mechanised Reasoning and Hardware Design, Prentice Hall International Series in Computer Science, 1992
- C. A. R. Hoare and He Jifeng, Unifying Theories of Programming, Prentice Hall International Series in Computer Science, 1998
Ascendenza
[modifica | modifica wikitesto]| Genitori | Nonni | Bisnonni | Trisnonni | ||||||||||
| Arthur Hoare | Charles James Hoare | ||||||||||||
| Jane Isabella Holden | |||||||||||||
| Arthur Fanshawe Hoare | |||||||||||||
| Maria Faithfull Fanshawe | Charles Robert Fanshawe | ||||||||||||
| Patty Faithfull | |||||||||||||
| Henry Samuel Malortie Hoare | |||||||||||||
| … | … | ||||||||||||
| … | |||||||||||||
| Gertrude Jane Katharine Harrow | |||||||||||||
| … | … | ||||||||||||
| … | |||||||||||||
| Tony Hoare | |||||||||||||
| Frederick Ernest Villiers | Henry Montagu Villiers | ||||||||||||
| Amelia Maria Hulton | |||||||||||||
| Evelyn Charles Villiers | |||||||||||||
| Jane Isabella Baird | Douglas Baird | ||||||||||||
| Charlotte Acton | |||||||||||||
| Marjorie Francis Villiers | |||||||||||||
| George Howard Moore Lane | … | ||||||||||||
| … | |||||||||||||
| Dorothy Katherine Lane | |||||||||||||
| Mary Theodosia de Courcy | Admiral de Courcy | ||||||||||||
| Sybella Blackler Morris | |||||||||||||
Note
[modifica | modifica wikitesto]- ^ (EN) Hoare Simplicity, su Glenn Vanderburg, 14 marzo 2016. URL consultato il 27 dicembre 2020.
Altri progetti
[modifica | modifica wikitesto]
Wikimedia Commons contiene immagini o altri file su Tony Hoare
Collegamenti esterni
[modifica | modifica wikitesto]- Sito ufficiale, su cs.ox.ac.uk.
- (EN) William L. Hosch, Tony Hoare, su Enciclopedia Britannica, Encyclop?dia Britannica, Inc.
- (EN) Tony Hoare, su royalsociety.org, Royal Society.
- (EN) Tony Hoare, su Mathematics Genealogy Project, North Dakota State University.
- Microsoft home page — short biography
- Oxford University Computing Laboratory home page — Emeritus Professor of Computing
- Advice for Ph.D. students from Tony Hoare Archiviato il 1o febbraio 2008 in Internet Archive. — held at the International Summer School Marktoberdorf 2006
- The classic article on monitors Archiviato il 17 luglio 2007 in Internet Archive. — The original article on monitors that was republished as a classic of the ACM
| Controllo di autorità | VIAF (EN) 108123782 · ISNI (EN) 0000 0001 2146 7986 · SBN CFIV069117 · LCCN (EN) n84148204 · GND (DE) 119103265 · J9U (EN, HE) 987007262637405171 · NSK (HR) 000697965 · NDL (EN, JA) 00443453 · CONOR.SI (SL) 79318883 |
|---|
