Умер создатель алгоритма Quicksort и лауреат премии Тьюринга Тони Хоар

В Кембридже в возрасте 92 лет скончался выдающийся британский ученый Тони Хоар. Создатель алгоритма быстрой сортировки (Quicksort) и лауреат премии Тьюринга, он вошел в историю информатики как один из ключевых архитекторов современных языков программирования и систем логического доказательства корректности кода.

Хоар наиболее известен как автор Quicksort — одного из самых эффективных алгоритмов сортировки, который до сих пор используется в стандартных библиотеках языков программирования и системных утилитах Unix. Идея пришла к нему в 1959 году во время стажировки в МГУ, где он занимался машинным переводом. Для сопоставления слов с англо-русским словарем на магнитной ленте требовалась быстрая обработка данных, что и привело к созданию метода «разделяй и властвуй».

Помимо алгоритмов, Хоар заложил теоретический фундамент разработки ПО. Он разработал «логику Хоара» для верификации программ и теорию взаимодействующих последовательных процессов (CSP), идеи которой позже легли в основу языков Go и Erlang. В 1980 году ученый получил премию Тьюринга — высшую награду в области компьютерных наук. Также Хоар считается создателем концепции нулевого указателя (null reference), за которую он в 2009 году публично извинился, назвав ее своей «ошибкой на миллиард долларов» из-за сложности выявления связанных с ней багов.

Путь из лингвистики в программирование

Карьера Хоара была нетипичной для технического специалиста. Он начинал с изучения античной философии и классических языков в Оксфорде, а программированием увлекся после службы в армии, где выучил русский язык. После возвращения из СССР в 1960 году он работал в компании Elliot Brothers, затем преподавал в Белфасте и возглавлял исследовательскую группу в Оксфорде.

Последние десятилетия карьеры, начиная с 1999 года, Хоар провел в качестве ведущего исследователя в Microsoft Research. Его вклад в индустрию отмечен не только научными премиями, но и практическим применением его идей в архитектуре большинства современных вычислительных систем.