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