Toni Hor

Iz Vikipedije, slobodne enciklopedije
Idi na navigaciju Idi na pretragu
Entoni Hor
CAR Hoare.jpg
Ser Čarls Entoni Ričard Hor
Datum rođenja(1934-01-11)11. januar 1934.(85 god.)
Mesto rođenjaKolombo
Šri Lanka
Poljeračunarstvo
ŠkolaMoskovski državni univerzitet Lomonosov, Merton College
InstitucijaUniverzitet Oksford
Moskovski državni univerzitet
Microsoft Research
Poznat poHorovoj logici
kviksortu
NagradeTjuringova nagrada

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. Takođe je zasnovao Horovu logiku za verifikaciju korektnosti programa i formalni jezik CSP.

Spoljašnje veze[uredi]