Тони Хор

Из Википедије, слободне енциклопедије
Ентони Хор
CAR Hoare.jpg
Сер Чарлс Ентони Ричард Хор
Датум рођења (1934-01-11)11. јануар 1934.(82 год.)
Место рођења Коломбо
Шри Ланка
Поље рачунарство
Школа Московски државни универзитет Ломоносов, Merton College
Институција Универзитет Оксфорд
Московски државни универзитет
Microsoft Research
Познат по Хоровој логици
квиксорту
Награде Тјурингова награда

Сер Чарлс Ентони Ричард Хор (енгл. Sir Charles Antony Richard Hoare; Коломбо, 11. јануар 1934) је британски научник који је познат је као творац квиксорта, једног од најпознатијих алгоритама за сортирање. Такође је засновао Хорову логику за верификацију коректности програма и формални језик ЦСП.

Спољашње везе[уреди]