Учёные

Хоар Энтони

Хо́ар Э́нтони [Чарлз Эн­то­ни (То­ни) Ри­чард Хоар, сэр (Sir Charles Antony Richard Hoare)] (11.1.1934, Коломбо), британский учёный в области информатики и программирования, член (1982).

Окончил Мертон-колледж в  (бакалавр искусств, 1956), служил в королевском флоте (1956–1958), вернулся в Оксфорд для изучения статистики, тогда же впервые заинтересовался . В 1959 г. направлен на стажировку в , где под руководством занимался и . После возвращения из Москвы работал в компьютерной компании Elliot Brothers, разработал один из первых трансляторов с языка . С 1968 г. профессор Королевского университета в Белфасте, с 1977 г. профессор в Оксфордском университете, там же возглавлял исследовательскую группу по программированию. С 1999 г. ведущий исследователь в отделении компании в Кембридже.

Хоару принадлежит ряд важных практических результатов и основополагающих концепций программирования: алгоритм (разработан в Москве, 1959–1960), (формальная система, содержащая набор логических правил, предназначенных для доказательства корректности , 1969), теория (англ. Communicating Sequential Processes – CSP, 1978), на основе которой был создан язык (1983), и др. Лауреат (1980). Награждён медалями М. Фарадея (1985) и Дж. фон Неймана (2011).

  • Программисты
  • Математики 20 века