Тони Хор

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

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

Референце

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



🔥 Top keywords: Главна странаУЕФА Лига шампионаПосебно:ПретражиДора БакојаниКарло АнчелотиЗоран МилановићСрбијаУ клинчу (3. сезона)Датотека:Moj Happy Život.pngFacebookСавет ЕвропеКсенија ПајчинБобан Петровић (музичар)У клинчуПеп ГвардиолаИранНикола ТеслаМарио НакићДубаиБеоградФК Реал МадридKane KorsoФК Манчестер СитиЛука ИлићИзраелМихајло ПупинМилица РакићМасакр у СребренициЈошко ГвардиолРепублика СрпскаAndrej PlenkovićСписак финала Купа европских шампиона и УЕФА Лиге шампионаДоситеј ОбрадовићТихомир СтанићПрви светски ратЛука МодрићТунел (ТВ серија)Зорана МићановићХрватска демократска заједница