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

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

Другие известные результаты его работы: язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (

Родился в Коломбо в Шри-Ланке. Получил степень бакалавра по классическим языкам в Университете Оксфорда (Merton College)) в 1956 году. Проходил службу в ВМС Великобритании в 1956—1958 гг. Изучив русский язык, он обучался компьютерному переводу под руководством А. Н. Колмогорова в Московском государственном университете. В 1960, из-за политического кризиса, связанного с уничтожением разведывательного самолета У-2, он покинул Советский Союз и начал работать в небольшой компании по производству компьютеров Elliott Brothers, где занимался реализацией языка ALGOL60. Там же он начал заниматься разработкой алгоритмов. В 1968 году стал профессором информатики и вычислительной техники в Королевском Университете Белфаста (Queen’s University, Belfast). В 1977 году вернулся в Оксфорд, как профессор вычислительной техники, чтобы возглавить исследовательскую группу Programming Research Group, в задачу которой входит укрепление связей промышленных, академических и государственных структур, работающих в области ИТ-индустрии. Тематика его исследований в Оксфорде: корректность программных спецификаций, проектирование и разработка критичных и некритичных систем. В 1999 году вышел на пенсию в звании почетного профессора и перешел на должность ведущего исследователя в Microsoft Research в Кэмбридже, где и работает по сей день.

В 1980 он получил Премию Тьюринга (премия ACM) за «его выдающиеся достижения в определении и дизайне языков программирования». В 2000 он был удостоен рыцарского титула за заслуги в области образования и компьютерных наук, Премии Киото.

Книги

• O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare, Structured Programming. Academic Press, 1972. ISBN 0-12-200550-3.

• 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.

• 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/users/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

Лауреаты премии Тьюринга

Перлис (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)