C. A. R. Hoare
| Charles Antony Richard Hoare | |
|---|---|
| Rođenje | 11. januar 1934. Colombo, Britanski Cejlon |
| Smrt | 5. mart 2026 (92 godine) Oxford, Engleska |
| Polje | Računarstvo |
| Institucija | Elliott Brothers Kraljičin univerzitet u Belfastu Univerzitet u Oxfordu Microsoft Research |
| Poznat(a) po | Quicksort Hoare logika CSP |
| Istaknute nagrade | ACM Turingova nagrada |
Sir Charles Antony Richard Hoare (Tony Hoare ili C.A.R. Hoare, rođen 11. januara 1934 – 5. mart 2026) bio je britanski informatičar, najpoznatiji po razvitku quicksorta, najpopularnijeg algoritma 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.
Biografija
[uredi | uredi izvor]Rođen u Colombou (Šri Lanka)[1] roditelja britanaca, stekao je titulu bakalureata u klasici na Univerzitetu u Oxfordu, (Merton College), 1956. Ostao je još jednu godinu u Oxfordu proučavajući postdiplomsku statistiku, te obavljajući svoju dužnost u Kraljevskoj mornarici (1956–1958).
Kada je naučio govoriti ruski, proučavao je prevođenje prirodnih jezika na Univerzitetu u Moskvi, u Sovjetskom Savezu, u Kolmogorovljevoj školi.
Godine 1960. napustio je Sovjetski Savez te započeo rad u Elliott Brothers Ltd, gdje je implementirao ALGOL 60[2] i revno se posvetio radu na algoritmima.
Postao je profesor računarskih nauka na Kraljičinom univerzitetu u Belfastu 1968, a 1977. se preselio nazad u Oxford kao profesor računarstva, kako bi vodio grupu za istraživanje programiranja pri Oxford University Computing Laboratory. To se desilo nakon smrti Christophera Stracheyja.
Sad obavlja dužnost profesora emeritusa, te je i viši istraživač pri Microsoft Research u Cambridgeu, Engleska.
Nagrade
[uredi | uredi izvor]- 1980. primio je ACM Turingovu nagradu za "za njegove fundamentalne doprinose definiciji i dizajnu programskih jezika". Nagrada mu je bila dodijeljena na ACM-ovoj godišnjoj konferenciji u Nashvilleu, Tennessee 27. oktobra 1980, od strane Waltera Carlsona, predsjednika komiteta za dodjelu nagrada. Transkript Hoareovog govora je objavljen u časopisu Communications of the ACM.
- 2000. je bio ovitežen za svoje službe u obrazovanju i računarstvu.
- 13. novembra 2006, Computer History Museum u Mountain View, California ga je primio u članstvo kao Fellow of the Museum "za razvoj quicksort algoritma i doživotne doprinose programskim jezicima".
Reference
[uredi | uredi izvor]- ↑ "Sir Antony Hoare | Computer History Museum". www.computerhistory.org. Pristupljeno 6. 4. 2019.
- ↑ "Sir Charles Antony Richard Hoare | IEEE Computer Society" (jezik: engleski). Pristupljeno 6. 4. 2019.
Vanjski linkovi
[uredi | uredi izvor]- web stranica pri Microsoftu — kratka biografija
- Oxford University Computing Laboratory web stranica — Profesor emeritus računarstva
- Savjeti za doktorske studente od strane Tonyja Hoarea — održano na Međunarodnoj ljetnoj školi Marktoberdorf 2006.
