Сэр. Тони Хоар. FRS FREng | |
---|---|
Тони Хоар в 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.
Тони Хоар родился в Коломбо, Цейлон (ныне Шри-Ланка ) британским родителям; его отец был колониальным государственным служащим, а его мать была дочерью плантатора чая. Хоар получил образование в Англии в школе дракона в Оксфорде и королевской школе в Кентербери. Затем он изучал классику и философию («великие») в Мертон-колледже, Оксфорд. После выпуска в 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 |