ХО́АР
-
Рубрика: Технологии и техника
-
Скопировать библиографическую ссылку:
ХО́АР (Hoare) Чарлз Энтони (Тони) Ричард, сэр (р. 11.1.1934, Коломбо), брит. учёный в области информатики и программирования, чл. Лондонского королевского об-ва (1982). Окончил Мертон-колледж в Оксфорде (бакалавр искусств, 1956), служил в королевском флоте (1956–58), вернулся в Оксфорд для изучения статистики, тогда же впервые заинтересовался программированием. В 1959 направлен на стажировку в МГУ, где под рук. А. Н. Колмогорова занимался теорией вероятностей и машинным переводом. После возвращения из Москвы работал в компьютерной компании «Elliot Brothers», разработал один из первых трансляторов с языка алгол-60. С 1968 проф. Королевского ун-та в Белфасте, с 1977 проф. в Оксфордском ун-те, там же возглавлял исследовательскую группу по программированию. С 1999 ведущий исследователь в отделении компании «Microsoft» в Кембридже.
Х. принадлежит ряд важных практич. результатов и основополагающих концепций программирования: алгоритм быстрой сортировки (разработан в Москве, 1959–60), логика Хоара (формальная система, содержащая набор логич. правил, предназначенных для доказательства корректности программ, 1969), теория взаимодействующих последоват. процессов (CSP, Communicating Sequential Processes, 1978), на основе которой был создан язык параллельного программирования Occam (1983), и др. Пр. Тьюринга (пр. ACM, 1980). Награждён медалями М. Фарадея (1985) и Дж. фон Неймана (2011).