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 | |
Charles Antony Richard "Tony" Hoare (11. tammikuuta 1934 Colombo, Brittiläinen Ceylon – 5. maaliskuuta 2026[1]) oli brittiläinen tietojenkäsittelytieteilijä.[2] 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.[3]Sen lisäksi Hoare sai esimerkiksi vuonna 1985 Faraday-palkinnon ja vuonna 2000 Kioton palkinnon.[4]
Hän oli Academia Europæan jäsen vuodesta 1989.[5]
Kirjoja
[muokkaa | muokkaa wikitekstiä]- 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
[muokkaa | muokkaa wikitekstiä]- ↑ Lance Fortnow: Tony Hoare (1934-2026) Computational Complexity and other fun stuff in math and computer science from Lance Fortnow and Bill Gasarch. 10.3.2026. Viitattu 10.3.2026. (englanniksi)
- ↑ William L. Hosch: Tony Hoare Encyclopaedia Britannica. Viitattu 24.7.2019. (englanniksi)
- ↑ C. Antony ("Tony") R. Hoare amturing.acm.org. Viitattu 29.8.2024. (englanniksi)
- ↑ Tony Hoare at Microsoft Research Microsoft Research. Viitattu 12.3.2026. (englanniksi)
- ↑ Charles Hoare Academia Europæa. Viitattu 1.5.2025. (englanniksi)
| Kansainväliset | |
|---|---|
| Kansalliset | |
| Tieteilijät | |
| Henkilöt | |
| Muut | |
