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

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

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

Родился в Коломбо в Шри-Ланке. Получил классическую степень бакалавра в Университете Оксфорда (University of Oxford (Merton College)) в 1956. Проходил службу в ВМС Великобритании в 19561958гг. Изучив русский язык, он обучался компьютерному переводу под руководством А. Н. Колмогорова в Московском государственном университете. В 1960, из-за политического кризиса, связанного с уничтожением разведывательного самолета У-2, он покинул Советский Союз и начал работать в небольшой компании по производству компьютеров Elliott Brothers, Ltd, где он занимался реализацией языка 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 0122005503.
  • 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.


Ссылки

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home