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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Чарльз Э́нтони Ри́чард Хо́ар
Charles Antony Richard Hoare
CAR Hoare.jpg
Дата рождения:

11 января 1934 (79 лет)
Место рождения:

Коломбо, Цейлон, Британская империя, ныне Шри Ланка
Страна:

Flag of the United Kingdom.svg Великобритания
Научная сфера:

информатика
Альма-матер:

Оксфордский университет
Известен как:

Создатель алгоритма «быстрой сортировки».
Награды и премии


Премия Тьюринга, медаль «Пионер компьютерной техники»

Сэр Чарльз Э́нтони Ри́чард Хо́ар (англ. 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 году стал профессором информатики и вычислительной техники в Королевском университете Белфаста (англ. Queen's University, Belfast).

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

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

[править] Награды

В 1980 году стал лауреатом Премии Тьюринга (премия ACM) за «его выдающиеся достижения в определении и дизайне языков программирования»[1].

В 1990 году награждён медалью «Пионер компьютерной техники».

В 2000 году был удостоен рыцарского титула за заслуги в области образования и компьютерных наук, Премии Киото[2].

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

  1. ↑ http://awards.acm.org/citation.cfm?id=4622167&srt=year&year=1980&aw=140&ao=AMTURING ACM Award Citation / C.Antony R. Hoare
  2. ↑ http://www.inamori-f.or.jp/e_kp_lau_yea.html The Kyoto prize / Laureates / List by Year

[править] Книги

[править] Ссылки

Wikiquote-logo.svg
В Викицитатнике есть страница по теме
Хоар, Чарльз Энтони Ричард
 Просмотр этого шаблона Лауреаты премии Тьюринга

Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011) • Микали + Гольдвассер (2012)
Источник — «http://ru.wikipedia.org/w/index.php?title=Хоар,_Чарльз_Энтони_Ричард&oldid=54496243»