Тони Хор

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

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

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