Toni Hor
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 | 11. januar 1934. |
| Mesto rođenja | Kolombo, Šri Lanka |
| Obrazovanje | Moskovski državni univerzitet Lomonosov, Merton College |
| Naučni rad | |
| Polje | računarstvo |
| Institucija | Univerzitet Oksford Moskovski državni univerzitet Microsoft Research |
| Poznat po | Horovoj logici kviksortu |
| Nagrade | Tjuringova nagrada |
| Zvanični veb-sajt | |
| www | |
Reference
uredi- ^ „Tony Hoare | Biography & Facts | Britannica”. www.britannica.com (na jeziku: engleski). Pristupljeno 2023-01-28.
- ^ „C. Antony R. Hoare - A.M. Turing Award Laureate”. amturing.acm.org. Pristupljeno 2023-01-28.
- ^ „Sir Charles Antony Richard Hoare | IEEE Computer Society” (na jeziku: engleski). Pristupljeno 2023-01-28.
Spoljašnje veze
uredi
- Horova stranica na Microsoft Research (jezik: engleski)
- Horovi saveti studentima koji spremaju magistraturu (jezik: engleski)
