Тони Хор
Сер Чарлс Ентони Ричард Хор (енгл. Sir Charles Antony Richard Hoare; Коломбо, 11. јануар 1934) је британски научник који је познат је као творац квиксорта, једног од најпознатијих алгоритама за сортирање.[1][2] Такође је засновао Хорову логику за верификацију коректности програма и формални језик ЦСП.[3]
| Ентони Хор | |
|---|---|
 Сер Чарлс Ентони Ричард Хор | |
| Лични подаци | |
| Датум рођења | 11. јануар 1934. |
| Место рођења | Коломбо, Шри Ланка |
| Образовање | Московски државни универзитет Ломоносов, Merton College |
| Научни рад | |
| Поље | рачунарство |
| Институција | Универзитет Оксфорд Московски државни универзитет Microsoft Research |
| Познат по | Хоровој логици квиксорту |
| Награде | Тјурингова награда |
| Званични веб-сајт | |
| www | |
Референце
уреди- ^ „Tony Hoare | Biography & Facts | Britannica”. www.britannica.com (на језику: енглески). Приступљено 2023-01-28.
- ^ „C. Antony R. Hoare - A.M. Turing Award Laureate”. amturing.acm.org. Приступљено 2023-01-28.
- ^ „Sir Charles Antony Richard Hoare | IEEE Computer Society” (на језику: енглески). Приступљено 2023-01-28.
Спољашње везе
уреди
- Хорова страница на Microsoft Research (језик: енглески)
- Хорови савети студентима који спремају магистратуру (језик: енглески)
