АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Хоар, Чарльз Энтони Ричард

Сэр Чарльз Э́нтони Ри́чард Хо́ар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare; род. 11 января 1934, Коломбо, Шри-Ланка[4]) — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), на сегодняшний день являющегося наиболее популярным алгоритмом сортировки.

Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (CSP, Communicating Sequential Process). В числе его заслуг — разработка логики Хоара (англ. Hoare Logic), научной основы для конструирования корректных программ, используемой для определения и разработки языков программирования. Хоар создал ряд трудов по созданию спецификаций, проектированию, реализации и сопровождению программ, показывающих важность научных результатов для увеличения производительности компьютеров и повышения надёжности программного обеспечения.

Общие сведения
Чарльз Энтони Ричард Хоар
Charles Antony Richard Hoare
Дата рождения 11 января 1934(1934-01-11)[1][2] (92 года)
Место рождения Коломбо, Цейлон, Британская империя, ныне Шри-Ланка
Дата смерти 5 марта 2026(2026-03-05)
Место смерти Кембридж, Великобритания
Страна
Научная сфера информатика
Место работы
Образование
Научный руководитель Leslie Fox[3]
Известен как создатель алгоритма «быстрой сортировки».
Награды и премии
рыцарь-бакалавр член Лондонского королевского общества премия Тьюринга (1980) медаль Джона фон Неймана (2011) Медаль Фарадея (1985) премия Фридриха Л. Бауэра (2007) Fellow Awards премия Киото в области передовых технологий[d] (2000) Пионер компьютерной техники (1990) Programming Languages Achievement Award[d] (2011) Мемориальная премия Гарри Гуда (1981) почётный доктор Мадридского университета Комплутенсе[d] (2013) член Королевской инженерной академии наук Великобритании[d] член Британского компьютерного общества[d]
Сайт cs.ox.ac.uk/people/tony.…

Биография

Родился в Коломбо в Шри-Ланке. Получил степень бакалавра по классическим языкам в Оксфордском университете в 1956 году. Проходил службу в Королевском военно-морском флоте Великобритании в 1956—1958 годы. Изучив русский язык, в 1959 году Хоар обучался в МГУ компьютерному переводу, а также теории вероятностей в школе Колмогорова. В 1960, из-за политического кризиса, связанного с уничтожением разведывательного самолёта У-2, он покинул Советский Союз и начал работать в небольшой компании по производству компьютеров Elliott Brothers, где занимался реализацией языка ALGOL60. Там же он начал заниматься разработкой алгоритмов.

В 1968 году стал профессором информатики и вычислительной техники в университете Квинс в Белфасте.

В 1977 году вернулся в Оксфорд, как профессор вычислительной техники, чтобы возглавить исследовательскую группу Programming Research Group, в задачу которой входило укрепление связей промышленных, академических и государственных структур, работающих в сфере информационных технологий. Тематика его исследований в Оксфорде: корректность программных спецификаций, проектирование и разработка критичных и некритичных систем.

В 1999 году вышел на пенсию в звании почётного профессора и перешёл на должность старшего ведущего исследователя в Microsoft Research в Кембридже, которую занимал до 2015 года, после чего перешёл в статус почётного исследователя (Emeritus Researcher)[5].

Скончался 5 марта 2026 года в Кембридже в возрасте 92 лет дома в окружении семьи[4].

Научный вклад

Основной научный вклад Чарльза Хоара включает разработку ряда фундаментальных теорий и алгоритмов:

  • Быстрая сортировка (Quicksort) (1960) — алгоритм сортировки, основанный на принципе «разделяй и властвуй». Среднее время его работы составляет O(n log n), что является асимптотически оптимальным для алгоритмов, основанных на сравнении (в худшем случае сложность достигает O(n²)). Изначально метод был создан для сортировки информации на магнитной ленте с минимальным числом перемоток[6].
  • Логика Хоара (1969) — формальная система для доказательства корректности компьютерных программ. Она использует «тройки Хоара» вида {P} C {Q}, где P — предусловие, C — программа (команда), а Q — постусловие. Система заложила основы для формальной верификации программ и контрактного программирования.
  • Взаимодействующие последовательные процессы (CSP) (1978) — формальный язык для описания шаблонов взаимодействия в параллельных (конкурентных) системах. CSP описывает системы как наборы независимых процессов, взаимодействующих друг с другом исключительно через передачу сообщений по каналам. Эта модель оказала влияние на дизайн языков программирования, ориентированных на параллелизм (Occam, Erlang, Go), и позволяет математически строго анализировать и предотвращать взаимные блокировки и недетерминизм[7].

Награды

В число наград входят:

В 2013 году был удостоен звания почётного доктора Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики[9].

Книги

  • 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.

Примечания

  1. ↑ Deutsche Nationalbibliothek, Staatsbibliothek zu Berlin, Bayerische Staatsbibliothek, Österreichische Nationalbibliothek Record #119103265 // Gemeinsame Normdatei (нем.) — 2012—2016.
  2. ↑ Tony Hoare // SNAC (англ.) — 2010.
  3. ↑ Mathematics Genealogy Project (англ.) — 1997.
  4. ↑ 1 2 Wolfson Emeritus Fellow, Professor Sir Tony Hoare, dies. Wolfson College, Oxford. Дата обращения: 4 мая 2026.
  5. ↑ Умер легендарный ученый-информатик. CNews. Дата обращения: 4 мая 2026.
  6. ↑ Быстрая сортировка. GB.ru. Дата обращения: 4 мая 2026.
  7. ↑ Communicating Sequential Processes (CSP). Stanford University. Дата обращения: 4 мая 2026.
  8. ↑ C. ANTONY ("TONY") R. HOARE (англ.). — «For his fundamental contributions to the definition and design of programming languages.» Дата обращения: 4 мая 2026.
  9. ↑ Вручение диплома и мантии Почетного доктора НИУ ИТМО сэру Тони Хоару (14 мая 2013). Дата обращения: 1 сентября 2021.

Ссылки

Дополнительно по теме

Категории