Тони Хоар

редактировать
Британский ученый-компьютерщик

Сэр. Тони Хоар. FRS FREng
Сэр Тони Хоар IMG 5125.jpg Тони Хоар в 2011 году
РодилсяЧарльз Энтони Ричард Хоар. (1934-01-11) 11 января 1934 (возраст 86). Коломбо, Британский Цейлон
Другие именаС. А. Р. Хоар
Alma mater
Известен по
Награды
Научная карьера
ПоляКомпьютер наука
Учреждения
Докторанты
Веб-сайтwww.cs.ox.ac.uk / people / tony.hoare

Сэр Чарльз Энтони Ричард Хоар FRS FREng (родился 11 января 1934 г.) - британский ученый-компьютерщик. Он разработал алгоритм сортировки quicksort в 1959–1960 гг. Он также разработал логику Хоара для проверки правильности программы и формальный язык , связывающий последовательные процессы (CSP), чтобы указать взаимодействия параллельных процессов (включая проблема обедающих философов ) и вдохновение для языка программирования occam.

Содержание
  • 1 Образование и ранние годы жизни
  • 2 Исследования и карьера
    • 2.1 Извинения и опровержения
    • 2.2 Книги
  • 3 Личные
    • 3.1 Награды и награды
  • 4 Ссылки
  • 5 Внешние ссылки
Образование и ранние годы жизни

Тони Хоар родился в Коломбо, Цейлон (ныне Шри-Ланка ) британским родителям; его отец был колониальным государственным служащим, а его мать была дочерью плантатора чая. Хоар получил образование в Англии в школе дракона в Оксфорде и королевской школе в Кентербери. Затем он изучал классику и философию («великие») в Мертон-колледже, Оксфорд. После выпуска в 1956 году он 18 месяцев национальной службы в Королевском флоте, где выучил русский язык. Он вернулся в Оксфордский университет в 1958 году, чтобы учиться на аспирантуру по статистике, и именно здесь он начал компьютерное программирование, будучи обученным Автокод на Ferranti Mercury от Лесли Фокса. Затем он поступил в Московский Государственный Университет по обмену Британского Совета, где изучал машинный перевод у Андрея Колмогорова.

Исследования и карьера

В 1960 году Хоар покинул Советский Союз и начал работать в Elliott Brothers Ltd, небольшой фирме по производству компьютеров, расположенной в Лондоне. Там он реализовал язык АЛГОЛ 60 и начал разрабатывать основные алгоритмы.

. Он участвовал в разработке международных стандартов в программировании и информатике, как член Международная федерация обработки информации (IFIP) Рабочая группа 2.1 IFIP по алгоритмическим языкам и вычислениям, в которой задан, поддерживает и поддерживает языки ALGOL 60 и ALGOL 68.

Он стал профессором информатики в Королевском университете Белфаста в 1968 году, а в 1977 году вернулся в Оксфорд в качестве профессора вычислительной техники, чтобы возглавить Программирование. Исследовательская группа в вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ) после смерти Кристофера Стрэчи. Сейчас он там почетный профессор, а также главный научный сотрудник Microsoft Research в Кембридже, Англия.

Самая значительная работа Хора. работал в следующих областях: его алгоритм сортировки и выбора (Quicksort и Quickselect ), логика Хоара, формальный язык , связывающий последовательные процессы (CSP) используется для определения взаимодействия между параллельными процессами, структурирования компьютерных операционных систем с использованием концепции monitor и аксиоматической спецификации языков программирования.

Извинения и опровержения

Выступая на конференции по программному обеспечению в 2009 году, Тони Хоар извинился за изобретение нулевой ссылки :

. Я назвал это своей ошибкой на миллиард долларов. Это было изобретение нулевой ссылки в 1965 году. В то время я проектировал первую всеобъемлющую систему типов для ссылок на объектно-ориентированном языке (ALGOL W ). Моя цель состояла в том, чтобы гарантировать, что любое использование ссылок должно быть абсолютно безопасным, с автоматической проверкой компилятором. Но я не мог устоять перед соблазном вставить пустую ссылку просто потому, что это было так легко реализовать. Это привело к бесчисленным ошибкам, уязвимостям и системным сбоям, которые, вероятно, нанесли миллиард долларов боли и ущерба за последние сорок лет.

В течение многих лет под его руководством оксфордский отдел Хора работал над официальными языками спецификаций, такими как CSP и Z. Они не принесли ожидаемого распространения в отрасли, и в 1995 году Хоар задумался над исходными предположениями:

Десять лет назад исследователи формальных методов (и я был самым ошибочным из них) предсказали, что программирование world с благодарностью принял бы любую помощь, обещанную формализацией, для решения проблем надежности, которые возникают, когда программы становятся крупными и более критичными для безопасности. Теперь программы стали очень большими и очень важными - намного превышающими масштабы, с которыми можно легко справиться с помощью формальных методов. Было много проблем и неудач, но они почти всегда были связаны с неадекватным анализом требований или неадекватным управленческим контролем. Оказалось, что мир не сильно страдает от проблем, решение которых изначально было задумано нашим исследованием.

Книги

Персональный

В 1962 году Хоар женился на Джилл Пим, члене его исследовательской группы.

Награды и почести

Ссылки

Эта статья включает текст, доступный по лицензии CC BY 4.0.

Внешние ссылки
Викискладе есть медиафайлы, связанные с C. AR Hoare.
В Викицитатнике есть цитаты, связанные с: Tony Hoare
Последняя правка сделана 2021-06-11 06:57:44
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте