C. A. R. Hoare
Charles Antony Richard "Tony" Hoare (s. 11. tammikuuta 1934 Colombo, Brittiläinen Ceylon) on brittiläinen tietojenkäsittelytieteilijä.[1] Hän on kehittänyt muun muassa pikalajittelualgoritmin ja Hoaren logiikan sekä monitorit ratkaisuksi moniajojärjestelmien lukkiutumatilanteisiin.
| C. A. R. Hoare | |
|---|---|
 Tony Hoare vuonna 2011. |
|
| Henkilötiedot | |
| Syntynyt | 11. tammikuuta 1934 |
| Arvonimi | Sir |
| Koulutus ja ura | |
| Väitöstyön ohjaaja | Leslie Fox |
| Tutkimusalue | Informatiikka ja tietojenkäsittelytiede |
| Tunnetut työt | Hoaren logiikka |
| Palkinnot | Turing-palkinto |
| Aiheesta muualla | |
| www.cs.ox.ac.uk/people/tony.hoare | |
Hoare sai Turing-palkinnon vuonna 1980.
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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.