Тони Хоар
- Тони Хоар — британский ученый-компьютерщик, внесший значительный вклад в языки программирования, алгоритмы, ОС, формальную верификацию и параллельные вычисления.
- В 1980 году Хоар получил премию Тьюринга, считающуюся высшим отличием в области компьютерных наук.
- Он разработал алгоритм сортировки quicksort и логику Хоара для проверки корректности программ.
- Хоар представил формальный язык CSP для описания взаимодействия параллельных процессов и сформулировал проблему обедающих философов.
- Он занимал должности в Оксфордском университете и Microsoft Research в Кембридже с 1977 года.
- Хоар родился на Цейлоне, получил образование в Англии и изучал программирование в Московском государственном университете.
- Он работал в Elliott Brothers Ltd, где внедрил язык ALGOL 60 и разработал основные алгоритмы.
- Хоар участвовал в разработке международных стандартов программирования и информатики.
- Он стал профессором компьютерных наук в Королевском университете Белфаста и Оксфордском университете.
- Хоар был первым профессором вычислительной техники Кристофера Стрейчи и главным научным сотрудником Microsoft Research в Кембридже.
Полный текст статьи: