Toni Hor
| Entoni Hor | |
|---|---|
 Ser Čarls Entoni Ričard Hor | |
| Lični podaci | |
| Datum rođenja | 11. januar 1934. |
| Mesto rođenja | Kolombo, Šri Lanka |
| Datum smrti | 5. mart 2026. (92 god.) |
| Mesto smrti | Kembridž, Ujedinjeno Kraljevstvo |
| 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 | |
Ser Čarls Entoni Ričard Hor (engl. Sir Charles Antony Richard Hoare; Kolombo, 11. januar 1934 — Kembridž, 5. mart 2026) bio 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]
Reference
[uredi | uredi izvor]- ^ „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 | uredi izvor]
- Horova stranica na Microsoft Research (jezik: engleski)
- Horovi saveti studentima koji spremaju magistraturu (jezik: engleski)
| Međunarodne | |
|---|---|
| Državne | |
| Akademske | |
| Ljudi | |
| Ostale | |
