Реализация нулевой ссылки в 1965 году остается наиболее цитируемой ошибкой в карьере Тони Хоара (Tony Hoare), который охарактеризовал ее как «ошибку на миллиард долларов». Помимо этого признания, его фундаментальный вклад в информатику включает разработку алгоритма быстрой сортировки (quicksort), формальную логику для верификации программ и спецификацию параллельных систем с помощью взаимодействующих последовательных процессов.
Раннее образование и советский обмен
Родившийся в Коломбо в 1934 году, Тони Хоар получил начальное школьное образование в Школе Дракона в Оксфорде и Школе Короля в Кентербери. Он изучал классическую филологию и философию в Мертон-колледже Оксфордского университета, который окончил в 1956 году. Во время последующей службы в Королевском военно-морском флоте он овладел русским языком. Этот навык позволил ему пройти стажировку по линии Британского совета в Московском государственном университете имени М. В. Ломоносова, где он изучал машинный перевод под руководством Андрея Колмогорова.
Вклад в алгоритмы и логику
Покинув Советский Союз в 1960 году, Хоар присоединился к компании Elliott Brothers Ltd в Лондоне. За это время он разработал алгоритм быстрой сортировки и работал над компилятором для ALGOL 60. Его карьерный путь привел его к академическим должностям, включая пост профессора вычислительной техники в Университете Королевы в Белфасте в 1968 году. Он вернулся в Оксфордский университет в 1977 году, где возглавил исследовательскую группу по программированию и занимал должность первого профессора вычислительной техники имени Кристофера Стрейчи с 1988 года до выхода на пенсию в 2000 году.
Формальные методы и параллелизм
Исследования Хоара были сосредоточены на структурной целостности программного обеспечения. Он разработал логику Хоара, чтобы обеспечить аксиоматическую основу для проверки правильности программ. В области параллельных вычислений он представил взаимодействующие последовательные процессы (CSP) — формальный язык, предназначенный для спецификации взаимодействий между параллельными процессами. Его работа в этих областях была направлена на решение проблем надежности в крупномасштабных системах, хотя позже он признал, что промышленное внедрение этих формальных методов сталкивается со значительными практическими ограничениями.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Профессиональные награды и более поздние годы
За свою карьеру Хоар получил множество наград, включая премию Тьюринга ACM в 1980 году, медаль Фарадея в 1985 году и рыцарское звание в 2000 году. Он был членом Лондонского королевского общества и нескольких международных организаций, в том числе Национальной академии наук США и Академии Европеа. После выхода на пенсию из Оксфорда он работал главным исследователем в Microsoft Research в Кембридже. Хоар скончался в Кембридже 5 марта 2026 года.
Краткие факты
- Родился: 1934 год, Коломбо - Умер: 2026 год, Кембридж - Известный алгоритм: Быстрая сортировка (Quicksort) - Основная область: Информатика - Год получения премии Тьюринга: 1980 - Основные академические должности: Оксфордский университет, Университет Королевы в Белфасте - Посвящен в рыцари: 2000 - Владение языками: латынь, английский, русский, древнегреческий
Вопросы, которые задают читатели
### Что было ошибкой на миллиард долларов?
Хоар использовал этот термин для описания своего изобретения нулевой ссылки в 1965 году, которое он реализовал при проектировании системы типов для ALGOL W, отметив, что оно привело к масштабным системным ошибкам.
### Что такое взаимодействующие последовательные процессы?
Это формальный язык, представленный Хоаром, который используется для спецификации и описания взаимодействий между параллельными процессами в компьютерной системе.
