| Чарльз Э́нтони Ри́чард Хо́ар | |
|---|---|
| Charles Antony Richard Hoare | |
 На конференции в EPFL 20 июня 2011 г. | |
| Дата рождения | 11 января 1934 (85 лет) |
| Место рождения | Коломбо, Цейлон, Британская империя, ныне Шри-Ланка |
| Страна | |
| Научная сфера | информатика |
| Место работы | |
| Альма-матер | |
| Известен как | Создатель алгоритма «быстрой сортировки». |
| Награды и премии | Премия Тьюринга, медаль «Пионер компьютерной техники» |
 | |
 | |
Сэр Чарльз Э́нтони Ри́чард Хо́ар (англ. 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].
Примечания
- ↑ LIBRIS — 2012.
- ↑ Архивированная копия (недоступная ссылка). Проверено 21 августа 2009. Архивировано 24 августа 2009 года. ACM Award Citation / C.Antony R. Hoare
- ↑ Архивированная копия. Проверено 21 февраля 2012. Архивировано 4 февраля 2012 года. The Kyoto prize / Laureates / List by Year
- ↑ Вручение диплома и мантии Почетного доктора НИУ ИТМО сэру Тони Хоару
Книги
- 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 Оксфордский университет-Хоар — Почетный Профессор Информатики
- http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Стенограмма выступления на вручении Приза Тьюринга в 1980г
- http://www.usingcsp.com/ Книга о CSP
 Лауреаты премии Тьюринга | |
|---|---|
| |
| |
|---|---|
| Процесс | |
| Высокоуровневые концепции | |
| Направления |
|
| Методологии разработки | |
| Модели | |
| Известные деятели |
|
Тематические сайты | |
|---|---|
| Словари и энциклопедии | |
| Нормативный контроль | BIBSYS: 90243370 · CONOR: 79318883 · GND: 119103265 · ISNI: 0000 0001 2146 7986 · LCCN: n84148204 · LNB: 000065181 · NDL: 00443453 · NKC: mub2011666475 · NLP: A24600799 · NTA: 074960059 · NUKAT: n95002488 · LIBRIS: 61170 · SUDOC: 059577576 · VIAF: 108123782 · WorldCat Identities (via VIAF): 108123782 |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .