Tony Hoare
Sir Charles Antony Richard Hoare (nato l'11 gennaio 1934 a Colombo , Sri Lanka ), meglio conosciuto come Tony Hoare o CAR Hoare , è uno scienziato informatico britannico .
Hoare ha ottenuto un'ottima reputazione per lo sviluppo dell'algoritmo quicksort e del calcolo Hoare , che possono essere utilizzati per dimostrare la correttezza degli algoritmi . Hoare ha anche sviluppato l'algebra di processo che comunica i processi sequenziali (CSP), che, ad esempio, ha influenzato lo sviluppo dei linguaggi di programmazione Ada , Occam e Go .
biografia
Hoare è nato a Colombo, nello Sri Lanka, da genitori britannici. Nel 1956 ha terminato i suoi studi umanistici (classici) presso l'Università di Oxford con una laurea.
Questo è stato seguito da un anno di studi universitari in statistica a Oxford prima di continuare a studiare traduzione assistita da computer del linguaggio umano presso l'Università statale di Mosca . Nel 1960 ha iniziato a lavorare per il piccolo produttore di computer Elliot Brothers con l'implementazione di Algol 60 e i primi studi di algoritmi. Nel 1968 ha ricevuto l'abilitazione alla Queen's University di Belfast e nel 1977 è tornato come professore di informatica all'Università di Oxford.
In qualità di esperto di linguaggi di programmazione e della loro affidabilità, Hoare si è pubblicamente opposto all'uso di Ada in aree rilevanti per la sicurezza come il controllo dei missili nucleari nel 1981 , perché considerava Ada fondamentalmente inaffidabile. Se un linguaggio di programmazione produce programmi inaffidabili in un tale contesto, potrebbe essere più pericoloso per una società di automobili non sicure, pesticidi tossici o perdite accidentali nelle centrali nucleari.
Sir Antony Hoare è ora professore emerito all'Università di Oxford e ricercatore senior presso Microsoft Research a Cambridge , in Inghilterra.
Premi
- Nel 1980 ha ricevuto il Turing Award per i suoi risultati fondamentali nella definizione e nello sviluppo dei linguaggi di programmazione.
- 1985 Faraday Medal (IEE)
- 1989 Membro a pieno titolo dell'Academia Europaea
- 1997 Membro corrispondente dell'Accademia delle scienze bavarese
- Nel 2000 è stato nominato Cavaliere Scapolo ("Sir").
- Nel 2000 è stato insignito del Premio Kyoto .
- Premio Friedrich L. Bauer 2007
- Medaglia di John von Neumann 2011
- 2017 Membro esterno dell'Accademia Nazionale delle Scienze
Citazioni
“Concludo che ci sono due modi per costruire un progetto software: un modo è renderlo così semplice che ovviamente non ci sono carenze e l'altro modo è renderlo così complicato da non avere carenze evidenti . Il primo metodo è molto più difficile ".
“Trovo che ci siano due modi per creare un progetto software, o così semplice da non avere ovviamente punti deboli o così complicato da non avere punti deboli evidenti. Il primo metodo è molto più difficile ".
"Penso che Quicksort sia l'unico algoritmo davvero interessante che io abbia mai sviluppato."
"Penso che Quicksort sia l'unico algoritmo davvero interessante che abbia mai sviluppato."
Caratteri
- Asserzioni, una prospettiva personale . In: Manfred Broy, Ernst Denert (a cura di): Software Pioneers - Contributions to Software Engineering . Springer, 2002, ISBN 3-540-43081-4 ( abstract e altro - i DVD allegati contengono un video della conferenza di Tony Hoare).
- Una base assiomatica per la programmazione di computer . In: Comunicazioni dell'ACM . Vol.14, No. 1 , 1971, ISSN 0001-0782 , pagg. 39-45 , doi : 10.1145 / 363235.363259 .
- Prova di un programma: TROVA . In: Comunicazioni dell'ACM . Vol.12, No. 10 , 1969, ISSN 0001-0782 , pagg. 576-580, 583 , doi : 10.1145 / 362452.362489 (ristampa nel libro sopra citato Software Pioneers ).
- Verso una teoria della programmazione parallela. In: CAR Hoare, RH Perrott (Ed.): Tecniche dei sistemi operativi . Atti di un seminario alla Queen's University di Belfast 1971, Academic Press 1972, pp. 61-71.
- Prova di correttezza delle rappresentazioni dei dati . In: Acta Informatica . Vol.1, No. 4 , 1972, ISSN 0001-5903 , pagg. 271-281 , doi : 10.1007 / BF00289507 (ristampa nel libro sopra citato Software Pioneers ).
- Comunicazione di processi sequenziali . Prentice-Hall, 1985 ( versione PDF ).
- Retrospettiva: una base assiomatica per la programmazione di computer . In: Comunicazioni dell'ACM . Vol.52, No. 10 , 2009, ISSN 0001-0782 , pag. 30-32 , doi : 10.1145 / 1562764.1562779 .
link internet
- Letteratura di e su Tony Hoare nel catalogo della Biblioteca nazionale tedesca
- Video di e su Tony Hoare nel portale AV della Technical Information Library
- Tony Hoare, Oxford University ( Memento 8 agosto 2007 in Internet Archive )
- Breve biografia in Microsoft ( Memento del 17 ottobre 2013 in Internet Archive )
Prove individuali
- ^ Pearce Wright: linguaggio informatico per la difesa inaffidabile, dice il professore su The Times, 1 luglio 1981.
- ^ Elenco dei membri: Charles Hoare. Academia Europaea, accesso 25 novembre 2017 .
- ↑ Knights and Dames: HA-HOR presso Leigh Rayment's Peerage
- ^ CAR Hoare: The Emperor's Old Clothes . La conferenza del 1980 ACM Turing Award. In: Comunicazioni dell'ACM . Vol.24, No. 2 , 1981, ISSN 0001-0782 , pagg. 75-83 , doi : 10.1145 / 358549.358561 .
- ↑ Len Shustek: Un'intervista con CAR Hoare . In: Comunicazioni dell'ACM . Vol 52, No. 3 , marzo 2009, ISSN 0001-0782 , pag. 38 e seguenti , doi : 10.1145 / 1467247.1467261 .
dati personali | |
---|---|
COGNOME | Hoare, Tony |
NOMI ALTERNATIVI | Hoare, Charles Antony Richard (nome completo); Hoare, AUTO |
BREVE DESCRIZIONE | Scienziato informatico britannico, sviluppatore dell'algoritmo quicksort e del calcolo Hoare |
DATA DI NASCITA | 11 gennaio 1934 |
LUOGO DI NASCITA | Colombo , Sri Lanka |