Тони Хор

Из Википедије, слободне енциклопедије
Ентони Хор

CAR Hoare.jpg
Сер Чарлс Ентони Ричард Хор

Општи подаци
Датум рођења 11. јануар 1934.
Место рођења Коломбо (Шри Ланка)
Рад
Поље рачунарство
Институција Универзитет Оксфорд
Московски државни универзитет
Microsoft Research
Познат по Хоровој логици
квиксорту
Награде Тјурингова награда

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

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