Чарльз Э́нтони Ри́чард Хо́ар ( или Tony Hoare или C.A.R. Hoare; ) — британский учёный в области информатики и вычислительной техники, лауреат Тьюринговской премии (1980). Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), являющегося наиболее популярным алгоритмом сортировки.
Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (CSP), а также логика Хоара — основа для конструирования корректных программ. Автор трудов по созданию спецификаций, проектированию, реализации и сопровождению программ, показывающих важность научных результатов для увеличения производительности компьютеров и повышения надёжности программного обеспечения.
Биография Родился в Коломбо в Шри-Ланке. Получил степень бакалавра по классическим языкам в Оксфордском университете в 1956 году. Проходил службу в Королевском военно-морском флоте Великобритании в 1956—1958 годы. Изучив русский язык, в 1959 году Хоар обучался в МГУ компьютерному переводу, а также теории вероятностей в школе Колмогорова. В 1960 году, из-за политического кризиса, связанного с уничтожением разведывательного самолёта У-2, он покинул Советский Союз и начал работать в небольшой компании по производству компьютеров Elliott Brothers, где занимался реализацией языка Алгол-60. Там же он начал заниматься разработкой алгоритмов.
В 1968 году стал профессором информатики и вычислительной техники в университете Квинс в Белфасте.
В 1977 году вернулся в Оксфорд на должность профессора вычислительной техники и возглавил исследовательскую группу по программированию, в задачу которой входило укрепление связей промышленных, академических и государственных структур, работающих в сфере информационных технологий. Тематика его исследований в Оксфорде: корректность программных спецификаций, проектирование и разработка критичных и некритичных систем.
В 1999 году вышел на пенсию в звании почётного профессора, до последних дней работал на должности ведущего исследователя в Microsoft Research в Кембридже. Умер 5 марта 2026 года в возрасте 92 лет.
Награды В число наград входят: 1980 — Премия Тьюринга (премия ACM) за фундаментальный вклад в определение и разработку языков программирования. 1981 — Мемориальная премия Гарри Гуда. 1985 — Медаль Фарадея. 1990 — Пионер компьютерной техники. 2000 — рыцарский титул за заслуги в области образования и компьютерных наук, Премия Киото The Kyoto prize / Laureates / List by Year. 2006 — Fellow Awards от Музея компьютерной истории. 2011 — Медаль Джона фон Неймана. В 2013 году был удостоен звания почётного доктора Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики.
Примечания
Книги O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare, Structured Programming. Academic Press, 1972. ISBN 0-12-200550-3. Перевод: Дал У., Дейкстра Э., Хоор К., Структурное программирование. М.:"Мир", 1975. C. A. R. Hoare, Communicating Sequential Processes. Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback. Перевод: Хоар Ч., Взаимодействующие последовательные процессы . М: Мир, 1989. C. A. R. Hoare and M. J. C. Gordon, Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-572405-8. C. A. R. Hoare and He Jifeng, Unifying Theories of Programming. Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8.
Ссылки
Краткая биография на сайте Microsoft Research Биография на сайте Оксфордского университета Стенограмма выступления на вручении Тьюринговской премии Книга о CSP
Категория:Преподаватели Университета Квинс в Белфасте Категория:Учёные в области информатики Великобритании Категория:Учёные Великобритании Категория:Пионеры компьютерной техники Категория:Лауреаты премии Киото Категория:Иностранные члены Национальной академии наук США Категория:Иностранные члены Национальной инженерной академии США Категория:Сотрудники Microsoft Категория:Члены Баварской академии наук Категория:Авторы книг о компьютерах Категория:Почётные члены Британского компьютерного общества Категория:Почётные доктора Варшавского университета