Российское Компьютерное Консолидирующие Агентство
Тони Хоар
Тони Хоар (Tony Hoare) - лауреат Премии Тьюринга 1980 г. за «выдающиеся достижения в определении и дизайне языков программирования».
Интерес Сэра Тони Хоара к компьютерным вычислениям проснулся в начале пятидесятых годов, когда он изучал философию (наряду с латинским и греческим) в Оксфордском университете, под руководством Джона Лукаса. Во время своей службы в Королевском военно-морском флоте изучал русский язык. В 1959 году, будучи аспирантом Московского государственного университета, он изучал машинный перевод языков и теорию вероятностей, в школе А. Н. Колмогорова. Для эффективного поиска слов в словаре, он разработал, известный алгоритм «быстрой сортировки».
По возвращении в Англию в 1960 году, работая в компании Elliott Brothers, занимался разработкой первого коммерческого компилятора для языка программирования Алгол 60.
В 1968 году Тони стал профессором в Королевском университете Белфаста, где занимался исследованиями в области компиляторов, операционных систем и параллелизма.
В 1977 году он переехал в Оксфорд и возглавил исследовательскую группу Programming Research Group. Группа занималась исследованиями в области корректности программных спецификаций, проектировании и разработки критических и некритических систем. Известные результаты этих исследований – это язык спецификаций “Z” и параллельная модель взаимодействия последовательных процессов (CSP).
В 1980 году Тони стал лауреатом премии Тьюринга. В 1999 году он перешёл на должность ведущего исследователя в Microsoft Research в Кембридже, где и работает по настоящий момент. В 2000 году он был удостоен рыцарского титула за заслуги в области образования и компьютерных наук.
Посмотреть:
Материалы 9-ой международной Ершовской конференции "Перспективы систем информатики", 2014:
Почитать:
Фотографии:
Российское Компьютерное Консолидирующее Агенство