Тони Хор

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

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

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