Пређи на садржај

Тони Хор

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

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

Референце

[уреди | уреди извор]
  1. ^ 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. ^ IEEE Computer Society” (на језику: енглески). Приступљено 2023-01-28. 

Спољашње везе

[уреди | уреди извор]