Тони Хоар

От Bot-+-On / 26.06.2024 / Оставьте комментарий

Тони Хоар Тони Хоар — британский ученый-компьютерщик, внесший значительный вклад в языки программирования, алгоритмы, ОС, формальную верификацию и параллельные вычисления. […]

1934 births, 1934 года рождения, Academics of Queen's University Belfast, Alumni of Merton College, British computer scientists, British expatriates in Sri Lanka, British expatriates in the Soviet Union, Canterbury, Computer science writers, Fellows of Merton College, Fellows of the British Computer Society, Fellows of the Royal Academy of Engineering, Fellows of the Royal Society, Fellows of Wolfson College, Foreign associates of the National Academy of Sciences, Formal methods people, History of computing in the United Kingdom, Knights Bachelor, Kyoto laureates in Advanced Technology, Living people, Members of the Department of Computer Science, Microsoft employees, Moscow State University alumni, Oxford, People educated at The Dragon School, People educated at The King's School, People from Colombo, Programming language researchers, Turing Award laureates, University of Oxford, Академики Королевского университета в Белфасте, Британские ученые-компьютерщики, Британские экспатрианты в Советском Союзе, Британские экспатрианты в Шри-Ланке, Выпускники Мертон-колледжа, Выпускники Московского государственного университета, Живые люди, Иностранные сотрудники Национальной академии наук, Исследователи языков программирования, История вычислений в Соединенном Королевстве, Лауреаты Киотского протокола в области передовых технологий, Лауреаты премии Тьюринга, Люди, Люди из Коломбо, Оксфорд, Писатели в области компьютерных наук, получившие образование в Королевской школе в Кентербери, получившие образование в Школе Дракона, Рыцари бакалавра, Совместители Британского компьютерного общества, Сотрудники Microsoft, Специалисты по формальным методам, Стипендиаты Мертон-колледжа, Члены Колледжа Вольфсона, Члены Королевского общества, Члены Королевской инженерной академии, Члены факультета компьютерных наук Оксфордского университета

Тони Хоар

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

Полный текст статьи:

Тони Хоар — Википедия

Оставьте комментарий Отменить ответ

Для отправки комментария вам необходимо авторизоваться.