C. A. R. Hoare

C. A. R. Hoare
Tony Hoare vuonna 2011.
Henkilötiedot
Syntynyt	11. tammikuuta 1934
Kuollut	5. maaliskuuta 2026 (92 vuotta)
Arvonimi	Sir
Koulutus ja ura
Väitöstyön ohjaaja	Leslie Fox ja Andrei Kolmogorov
Tutkimusalue	Informatiikka ja tietojenkäsittelytiede
Tunnetut työt	Hoaren logiikka
Palkinnot	Turing-palkinto
Aiheesta muualla
www.cs.ox.ac.uk/people/tony.hoare
[ Muokkaa Wikidatassa ]
Infobox OK

Charles Antony Richard "Tony" Hoare (11. tammikuuta 1934 Colombo, Brittiläinen Ceylon – 5. maaliskuuta 2026) oli brittiläinen tietojenkäsittelytieteilijä. Hän kehitti muun muassa pikalajittelualgoritmin ja Hoaren logiikan sekä monitorit ratkaisuksi moniajojärjestelmien lukkiutumatilanteisiin.

Hoare sai Turing-palkinnon vuonna 1980 työstään ohjelmointikielien parissa.Sen lisäksi Hoare sai esimerkiksi vuonna 1985 Faraday-palkinnon ja vuonna 2000 Kioton palkinnon.

Hän oli Academia Europæan jäsen vuodesta 1989.

Kirjoja

• O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare (1972): Structured Programming. Academic Press. ISBN 0-12-200550-3.
• C. A. R. Hoare (1985): Communicating Sequential Processes. Prentice Hall International Series in Computer Science. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback.
• C. A. R. Hoare, M. J. C. Gordon (1992): Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science. ISBN 0-13-572405-8.
• C. A. R. Hoare, He Jifeng (1998): Unifying Theories of Programming. Prentice Hall International Series in Computer Science. ISBN 0-13-458761-8.

Lähteet