Тони Хор

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

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

Референце[уреди | уреди извор]

  1. ^ „Tony Hoare | Biography & Facts | Britannica”. www.britannica.com (на језику: енглески). Приступљено 2023-01-28. 
  2. ^ „C. Antony R. Hoare - A.M. Turing Award Laureate”. amturing.acm.org. Приступљено 2023-01-28. 
  3. ^ „Sir Charles Antony Richard Hoare | IEEE Computer Society” (на језику: енглески). Приступљено 2023-01-28. 

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