Перейти к содержанию

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

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

Чарльз Э́нтони Ри́чард Хо́ар (англ. Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare; 11 января 1934[1], Коломбо — 5 марта 2026[2], Кембридж) — британский учёный в области информатики и вычислительной техники, лауреат Тьюринговской премии (1980). Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), являющегося наиболее популярным алгоритмом сортировки.

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

Биография

[править | править код]

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

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

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

В 1999 году вышел на пенсию в звании почётного профессора, до последних дней работал на должности ведущего исследователя в Microsoft Research в Кембридже. Умер 5 марта 2026 года в возрасте 92 лет[5].

Награды

[править | править код]

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

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

Примечания

[править | править код]
  1. 1 2 3 Who's who (брит. англ.) — A & C Black, 1849. — ISSN 0083-937X
  2. 1 2 Fortnow L. Tony Hoare (1934-2026) (англ.)
  3. ↑ LIBRIS — Национальная библиотека Швеции, 2012.
  4. 1 2 Mathematics Genealogy Project (англ.) — 1997.
  5. ↑ Fortnow, Lance. Tony Hoare (1934-2026) (англ.). Дата обращения: 10 марта 2026.
  6. ↑ C. ANTONY ("TONY") R. HOARE (англ.). — «For his fundamental contributions to the definition and design of programming languages.» Дата обращения: 1 сентября 2021. Архивировано 1 июля 2012 года.
  7. ↑ The Kyoto prize. Дата обращения: 21 февраля 2012. Архивировано 4 февраля 2012 года. The Kyoto prize / Laureates / List by Year
  8. ↑ Вручение диплома и мантии Почетного доктора НИУ ИТМО сэру Тони Хоару (14 мая 2013). Дата обращения: 1 сентября 2021. Архивировано 1 сентября 2021 года.

Книги

[править | править код]
  • 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.

Ссылки

[править | править код]
Image
Раздел литературы нуждается в оформлении согласно рекомендациям.
Пожалуйста, оформите его согласно образцам здесь. (13 марта 2026)
Источник — https://ru.wikipedia.org/w/index.php?title=Хоар,_Чарльз_Энтони_Ричард&oldid=152501441