Тони Хор

С Википедије, слободне енциклопедије
Ентони Хор
CAR Hoare.jpg
Сер Чарлс Ентони Ричард Хор
Лични подаци
Датум рођења(1934-01-11)11. јануар 1934.(89 год.)
Место рођењаКоломбо, Шри Ланка
ОбразовањеМосковски државни универзитет Ломоносов, 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. 

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