Charles Antony Richard Hoare | |
---|---|
Rođenje | 11. januar 1934. Colombo, Britanski Cejlon |
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. godine) jeste britanski informatičar, najpoznatiji po razvitku quicksorta, najpopularnijeg algoritma sortiranja, 1960. godine. 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.