Тонy Хоаре
| Ентони Хор | |
 | |
| Рођење | 11. 1. 1934. Коломбо, Британски Цејлон (данас Шри Ланка) |
|---|---|
| Поље | рачунарство |
| Институција | Универзитет Оксфорд Московски државни универзитет Мицрософт Ресеарцх |
| Познат по | Хоровој логици квиксорту |
| Истакнуте награде | Тјурингова награда |
Сер Чарлс Ентони Ричард Хор (енгл. Sir Charles Antony Richard Hoare ; 11. јануар 1934.) је британски научник који је познат је као творац квиксорта, једног од најпознатијих алгоритама за сортирање. Такође је засновао Хорову логику за верификацију коректности програма и формални језик ЦСП.
Биографија
[уреди | уреди извор]Рођен у Цоломбоу (Шри Ланка) родитеља британаца, стекао је титулу бакалуреата у класици од Свеучилишта у Оxфорду (Мертон Цоллеге) 1956. Остао је још једну годину у Оxфорду проучавајући постдипломску статистику, те вршећи своју дужност у Краљевској морнарици (1956–1958). Кад је научио говорити руски, проучавао је превођење природних језика на Свеучилишту у Москви у Совјетском Савезу у Колмогоровљевој школи.
1960. је напустио Совјетски Савез те започео рад у Еллиотт Бротхерс, Лтд, гдје је имплементирао АЛГОЛ 60 и ревно се посветио раду на алгоритмима.[1] Постао је професор рачунарских знаности на Краљичином свеучилишту у Белфасту 1968., а 1977. се преселио натраг у Оxфорд као професор рачунарства како би водио скупину за истраживање програмирања при Оxфорд Университy Цомпутинг Лабораторy, а након смрти Цхристопхера Страцхеyја. Сад обнаша дужност професора емеритуса, те је и виши истраживач при Мицрософт Ресеарцх у Цамбридгеу, Енглеска.
Награде
[уреди | уреди извор]- 1980. је примио АЦМ Турингову награду за "за његове фундаменталне доприносе дефиницији и дизајну програмских језика". Награда му је била додијељена на АЦМ-овој годишњој конференцији у Насхвиллеу, Теннессее, 27. листопада 1980., од стране Wалтера Царлсона, предсједника комитета за додјелу награда. Транскрипт Хоареовог говора је објављен у часопису Цоммуницатионс оф тхе АЦМ.[1]
- 2000. је био овитежен за своје службе у образовању и рачунарству.
- 13. студеног 2006., Цомпутер Хисторy Мусеум у Моунтаин Виеw, Цалифорниа га је примио у чланство као Феллоw оф тхе Мусеум "за развој qуицксорт алгоритма и доживотне доприносе програмским језицима".
Књиге
[уреди | уреди извор]- О.-Ј. Дахл, Е. W. Дијкстра и C. А. Р. Хоаре (1972). Струцтуред Программинг. Ацадемиц Пресс. ИСБН 0-12-200550-3.
- C. А. Р. Хоаре (1985). Цоммуницатинг Сеqуентиал Процессес. Прентице Халл Интернатионал Сериес ин Цомпутер Сциенце. ИСБН 0-13-153271-5 хардбацк ор ИСБН 0-13-153289-8 папербацк.
- C. А. Р. Хоаре анд M. Ј. C. Гордон (1992). Мецханисед Реасонинг анд Хардwаре Десигн. Прентице Халл Интернатионал Сериес ин Цомпутер Сциенце. ИСБН 0-13-572405-8.
- C. А. Р. Хоаре и Хе Јифенг (1998). Унифyинг Тхеориес оф Программинг. Прентице Халл Интернатионал Сериес ин Цомпутер Сциенце. ИСБН 0-13-458761-8.
Извори
[уреди | уреди извор]- ↑ 1,0 1,1 C.А.Р. Хоаре (Фебруарy 1981). „Тхе емперор'с олд цлотхес” (ПДФ). Цоммуницатионс оф тхе АЦМ 24 (2): 75–83. ДОИ:10.1145/358549.358561. ИССН 0001-0782. Архивирано из оригинала на датум 2003-03-15. Приступљено 2013-03-17.
Вањске везе
[уреди | уреди извор]
- wеб страница при Мицрософту — кратка биографија
- Оxфорд Университy Цомпутинг Лабораторy wеб страница — Професор емеритус рачунарства
- Савјети за докторске студенте од стране Тонyја Хоареа Архивирано 2008-02-01 на Wаyбацк Мацхине-у — одржано на Међународној љетној школи Марктобердорф 2006.