Тони Хор
Изглед
Ентони Хор | |
---|---|
Лични подаци | |
Датум рођења | 11. јануар 1934. |
Место рођења | Коломбо, Шри Ланка |
Образовање | Московски државни универзитет Ломоносов, Merton College |
Научни рад | |
Поље | рачунарство |
Институција | Универзитет Оксфорд Московски државни универзитет Microsoft Research |
Познат по | Хоровој логици квиксорту |
Награде | Тјурингова награда |
Званични веб-сајт | |
www |
Сер Чарлс Ентони Ричард Хор (енгл. Sir Charles Antony Richard Hoare; Коломбо, 11. јануар 1934) је британски научник који је познат је као творац квиксорта, једног од најпознатијих алгоритама за сортирање.[1][2] Такође је засновао Хорову логику за верификацију коректности програма и формални језик ЦСП.[3]
Референце
[уреди | уреди извор]- ^ „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 (језик: енглески)
- Хорови савети студентима који спремају магистратуру (језик: енглески)