Открыть главное меню

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

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

Чарльз Э́нтони Ри́чард Хо́ар
Charles Antony Richard Hoare
Sir Tony Hoare IMG 5125.jpg
На конференции в EPFL 20 июня 2011 г.
Дата рождения 11 января 1934(1934-01-11) (85 лет)
Место рождения Коломбо, Цейлон, Британская империя, ныне Шри-Ланка
Страна
Научная сфера информатика
Место работы
Альма-матер
Известен как Создатель алгоритма «быстрой сортировки».
Награды и премии Премия Тьюринга, медаль «Пионер компьютерной техники»
Логотип Викицитатника Цитаты в Викицитатнике
Commons-logo.svg Медиафайлы на Викискладе

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

Содержание

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

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

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

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

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

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

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

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

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

  1. LIBRIS — 2012.
  2. Архивированная копия (недоступная ссылка). Дата обращения 21 августа 2009. Архивировано 24 августа 2009 года. ACM Award Citation / C.Antony R. Hoare
  3. Архивированная копия. Дата обращения 21 февраля 2012. Архивировано 4 февраля 2012 года. The Kyoto prize / Laureates / List by Year
  4. Вручение диплома и мантии Почетного доктора НИУ ИТМО сэру Тони Хоару

КнигиПравить

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