C. A. R. Hoare

Izvor: Wikipedija
Charles Antony Richard Hoare

2005. VMCAI konferencija
Rođenje 11. siječnja, 1934.
Colombo, Šri Lanka
Polje Računarstvo
Institucija Elliott Brothers
Kraljičino sveučilište u Belfastu
Oxford sveučilište
Microsoft Research
Poznat po Quicksort
Hoare logika
CSP
Istaknute nagrade ACM Turingova nagrada
Portal o životopisima

Sir Charles Antony Richard Hoare (Tony Hoare ili C.A.R. Hoare, rođen 11. siječnja, 1934.) je britanski računalni znanstvenik, najpoznatiji po razvitku quicksorta, najpopularnijeg algoritam sortiranja, 1960. Također je razvio Hoare logiku, te formalni jezik Communicating Sequential Processes (CSP), korišten za specificiranje interakcija konkurentnih procesa (uključujući problem večerajućih filozofa te kao inspiracija za programski jezik Occam.

Životopis[uredi | uredi kôd]

Rođen u Colombou (Šri Lanka) roditelja britanaca, stekao je titulu bakalureata u klasici od Sveučilišta u Oxfordu (Merton College) 1956. Ostao je još jednu godinu u Oxfordu proučavajući postdiplomsku statistiku, te vršeći svoju dužnost u Kraljevskoj mornarici (1956–1958). Kad je naučio govoriti ruski, proučavao je prevođenje prirodnih jezika na Sveučilištu u Moskvi u Sovjetskom Savezu u Kolmogorovljevoj školi.

1960. je napustio Sovjetski Savez te započeo rad u Elliott Brothers, Ltd, gdje je implementirao ALGOL 60 i revno se posvetio radu na algoritmima.[1] Postao je profesor računarskih znanosti na Kraljičinom sveučilištu u Belfastu 1968., a 1977. se preselio natrag u Oxford kao profesor računarstva kako bi vodio skupinu za istraživanje programiranja pri Oxford University Computing Laboratory, a nakon smrti Christophera Stracheyja. Sad obnaša dužnost profesora emeritusa, te je i viši istraživač pri Microsoft Research u Cambridgeu, Engleska.

Nagrade[uredi | uredi kôd]

Knjige[uredi | uredi kôd]

  • O.-J. Dahl, E. W. Dijkstra i 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 and 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 i He Jifeng. 1998. Unifying Theories of Programming. Prentice Hall International Series in Computer Science. ISBN 0-13-458761-8

Izvori[uredi | uredi kôd]

  1. a b C.A.R. Hoare. Veljača 1981. The emperor's old clothes (PDF). Communications of the ACM. 24 (2): 75–83. doi:10.1145/358549.358561. ISSN 0001-0782. Inačica izvorne stranice (PDF) arhivirana 15. ožujka 2003. Pristupljeno 8. travnja 2007.

Vanjske poveznice[uredi | uredi kôd]