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

Чарльз Энтони Ричард Хоар
Чарльз Энтони Ричард Хоар
	Charles Antony Richard Hoare
	; На конференции в EPFL 20 июня 2011 г.
Дата рождения	11 января 1934(1934-01-11) (89 лет)
Место рождения	Коломбо, Цейлон, Британская империя, ныне Шри-Ланка
Страна	Великобритания;
Научная сфера	информатика
Место работы	Майкрософт; Оксфордский университет; Университет Квинс в Белфасте;
Альма-матер	МГУ; Колледж Мёртон; Оксфордский университет; Драгон-скул;
Научный руководитель	Leslie Fox[d]
Известен как	создатель алгоритма «быстрой сортировки».
Награды и премии	член Лондонского королевского общества премия Тьюринга (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.…
	Цитаты в Викицитатнике
	Медиафайлы на Викискладе

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

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

БиографияПравить

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

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

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

В 1999 году вышел на пенсию в звании почетного профессора и перешёл на должность ведущего исследователя в Microsoft Research в Кембридже, где и работает на момент 2011 года.

НаградыПравить

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

1980 — Премия Тьюринга (премия ACM) за «его выдающиеся достижения в определении и дизайне языков программирования»^[2].
1981 — Мемориальная премия Гарри Гуда.
1985 — Медаль Фарадея.
1990 — Пионер компьютерной техники.
2000 — рыцарский титул за заслуги в области образования и компьютерных наук, Премия Киото^[3].
2006 — Fellow Awards от Музея компьютерной истории.
2011 — Медаль Джона фон Неймана.

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

ПримечанияПравить

↑ Математическая генеалогия (англ.) — 1997.
↑ C. ANTONY ("TONY") R. HOARE (англ.). — «For his fundamental contributions to the definition and design of programming languages.». Дата обращения: 1 сентября 2021.
↑ The Kyoto prize (неопр.). Дата обращения: 21 февраля 2012. Архивировано 4 февраля 2012 года. The Kyoto prize / Laureates / List by Year
↑ Вручение диплома и мантии Почетного доктора НИУ ИТМО сэру Тони Хоару (рус.) (14 мая 2013). Дата обращения: 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.

СсылкиПравить

В Викицитатнике есть страница по теме: Энтони Хоар

http://research.microsoft.com/en-us/people/thoare/ Microsoft Research — короткая биография
http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html Оксфордский университет-Хоар — почетный профессор информатики
https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Стенограмма выступления на вручении Приза Тьюринга в 1980г
http://www.usingcsp.com/ Книга о CSP

[_b7334f6a31ce8779-1] Математическая генеалогия (англ.) — 1997.

[2] C. ANTONY ("TONY") R. HOARE (англ.). — «For his fundamental contributions to the definition and design of programming languages.». Дата обращения: 1 сентября 2021.

[3] The Kyoto prize (неопр.). Дата обращения: 21 февраля 2012. Архивировано 4 февраля 2012 года. The Kyoto prize / Laureates / List by Year

[4] Вручение диплома и мантии Почетного доктора НИУ ИТМО сэру Тони Хоару (рус.) (14 мая 2013). Дата обращения: 1 сентября 2021.

[1]

[2]

[3]

[4]

Чарльз Энтони Ричард Хоар
Charles Antony Richard Hoare
На конференции в EPFL 20 июня 2011 г.
Дата рождения	11 января 1934(1934-01-11) (89 лет)
Место рождения	Коломбо, Цейлон, Британская империя, ныне Шри-Ланка
Страна	Великобритания
Научная сфера	информатика
Место работы	Майкрософт Оксфордский университет Университет Квинс в Белфасте
Альма-матер	МГУ Колледж Мёртон Оксфордский университет Драгон-скул
Научный руководитель	Leslie Fox^[d]^[1]
Известен как	создатель алгоритма «быстрой сортировки».
Награды и премии	член Лондонского королевского общества премия Тьюринга (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.…
Цитаты в Викицитатнике
Медиафайлы на Викискладе