Тони Хор
From Wikipedia, the free encyclopedia
Сер Чарлс Ентони Ричард Хор (енгл. ; Коломбо, 11. јануар 1934) је британски научник који је познат је као творац квиксорта, једног од најпознатијих алгоритама за сортирање.[1][2] Такође је засновао Хорову логику за верификацију коректности програма и формални језик ЦСП.[3]
Кратке чињенице Ентони Хор, Датум рођења ...
Ентони Хор | |
---|---|
Датум рођења | (1934-01-11)11. јануар 1934. (90 год.) |
Место рођења | Коломбо, Шри Ланка |
Образовање | Московски државни универзитет Ломоносов, Merton College |
Поље | рачунарство |
Институција | Универзитет Оксфорд Московски државни универзитет |
Познат по | Хоровој логици квиксорту |
Награде | Тјурингова награда |
Званични веб-сајт | |
Затвори