Ser Čarls Entoni Ričard Hor (engl. Sir Charles Antony Richard Hoare; Kolombo, 11. januar 1934) je britanski naučnik koji je poznat je kao tvorac kviksorta, jednog od najpoznatijih algoritama za sortiranje.[1][2] Takođe je zasnovao Horovu logiku za verifikaciju korektnosti programa i formalni jezik CSP.[3]

Entoni Hor
Ser Čarls Entoni Ričard Hor
Lični podaci
Datum rođenja(1934-01-11)11. januar 1934.(90 god.)
Mesto rođenjaKolombo, Šri Lanka
ObrazovanjeMoskovski državni univerzitet Lomonosov, Merton College
Naučni rad
Poljeračunarstvo
InstitucijaUniverzitet Oksford
Moskovski državni univerzitet
Microsoft Research
Poznat poHorovoj logici
kviksortu
NagradeTjuringova nagrada
Zvanični veb-sajt
www.cs.ox.ac.uk/people/tony.hoare/

Reference

uredi
  1. ^ „Tony Hoare | Biography & Facts | Britannica”. www.britannica.com (na jeziku: engleski). Pristupljeno 2023-01-28. 
  2. ^ „C. Antony R. Hoare - A.M. Turing Award Laureate”. amturing.acm.org. Pristupljeno 2023-01-28. 
  3. ^ „Sir Charles Antony Richard Hoare | IEEE Computer Society” (na jeziku: engleski). Pristupljeno 2023-01-28. 

Spoljašnje veze

uredi