Уже по этому рыцарскому «cэр», понятно, что Чарльз Энтони Ричард Хоар – величина. Но он и обладатель премии Тьюринга – Нобелевки компьютерного мира. Тони Хоар – один из основоположников дискретной математики, автор «быстрой сортировки», теории взаимодействующих последовательных процессов, системы для доказательства корректности компьютерных программ, которая так и называется «логика Хоара».

Тони Хоар в 1959 году учился в МГУ компьютерному переводу и теории вероятностей в школе Колмогорова, где и совершенствовал свой русский язык.

Потом была работа в небольшой компании по производству компьютеров, где Хоар занимался реализацией языка ALGOL60. Там же он начал заниматься разработкой алгоритмов. В конце 1970-х – звание профессора информатики и вычислительной техники Королевского университета Белфаста. В 1977-м он возглавил в Оксфорде исследовательскую группу Programming Research Group, а в 1999-м в звании почетного профессора перешел на должность ведущего исследователя в Microsoft Research в Кембридже, где работает и сейчас.

«Санкт-Петербургский Вестник Высшей Школы»