Тони Хоар - Tony Hoare
сэр
Тони Хоар
| |
---|---|
Родился |
Чарльз Энтони Ричард Хоар
11 января 1934 г. |
Другие имена | АВТОМОБИЛЬ Хоар |
Альма-матер | |
Известен | |
Награды | |
Научная карьера | |
Поля | Информатика |
Учреждения | |
Докторанты | |
Веб-сайт | www |
Сэр Чарльз Энтони Ричард Хоар FRS FREng (родился 11 января 1934 г.) - британский ученый-компьютерщик .
Тони Хоар разработал алгоритм быстрой сортировки в 1959–1960 годах. Он также разработал логику Хоара для проверки правильности программы и формальный язык взаимодействия последовательных процессов (CSP) для определения взаимодействий параллельных процессов (включая проблему обедающих философов ) и вдохновил на создание языка программирования occam .
Хоар был избран членом Национальной инженерной академии в 2006 году за фундаментальный вклад в информатику в области алгоритмов, операционных систем и языков программирования.
Образование и ранняя жизнь
Тони Хоар родился в Коломбо , Цейлон (ныне Шри-Ланка ), в семье британцев; его отец был колониальным государственным служащим, а его мать была дочерью плантатора чая. Хоар получил образование в Англии в Школе Дракона в Оксфорде и Королевской школе в Кентербери . Затем он изучал классику и философию («великие») в Мертон-колледже в Оксфорде . После выпуска в 1956 году он проработал 18 месяцев на национальной службе в Королевском флоте , где выучил русский язык. Он вернулся в Оксфордский университет в 1958 году, чтобы учиться на аспирантуру по статистике , и именно здесь он начал компьютерное программирование , получив от Лесли Фокса обучение автокоду на Ferranti Mercury . Затем он поступил в МГУ в качестве студента по обмену Британского Совета , где изучал машинный перевод под руководством Андрея Колмогорова .
Исследования и карьера
В 1960 году Хоар покинул Советский Союз и начал работать в Elliott Brothers Ltd , небольшой фирме по производству компьютеров, расположенной в Лондоне. Там он реализовал язык ALGOL 60 и начал разработку основных алгоритмов .
Он участвовал в разработке международных стандартов в программировании и информатике в качестве члена Рабочей группы 2.1 Международной федерации обработки информации (IFIP) по алгоритмическим языкам и исчислениям, которая определяет , поддерживает и поддерживает языки ALGOL 60 и ALGOL 68 .
Он стал профессором компьютерных наук в Королевском университете Белфаста в 1968 году, а в 1977 году вернулся в Оксфорд в качестве профессора вычислительной техники, чтобы возглавить исследовательскую группу программирования в вычислительной лаборатории Оксфордского университета (ныне Департамент компьютерных наук Оксфордского университета ). , после смерти Кристофера Стрейчи . Сейчас он там почетный профессор , а также главный научный сотрудник Microsoft Research в Кембридже , Англия.
Наиболее значительная работа Хоара была в следующих областях: его алгоритм сортировки и выбора ( Quicksort и Quickselect ), логика Хоара , формальный язык, связывающий последовательные процессы (CSP), используемый для определения взаимодействий между параллельными процессами , структурирование компьютерных операционных систем с помощью монитора. концепция и аксиоматическая спецификация языков программирования .
Извинения и опровержения
Выступая на конференции по программному обеспечению в 2009 году, Тони Хоар извинился за изобретение нулевой ссылки :
Я называю это своей ошибкой на миллиард долларов. Это было изобретение нулевой ссылки в 1965 году. В то время я проектировал первую всеобъемлющую систему типов для ссылок на объектно-ориентированном языке ( АЛГОЛ W ). Моя цель состояла в том, чтобы гарантировать, что любое использование ссылок должно быть абсолютно безопасным, с автоматической проверкой компилятором. Но я не мог устоять перед соблазном вставить пустую ссылку просто потому, что это было так легко реализовать. Это привело к бесчисленным ошибкам, уязвимостям и системным сбоям, которые, вероятно, причинили боль и ущерб на миллиард долларов за последние сорок лет.
В течение многих лет под его руководством, Оксфорд отдел Хоары работал на официальных языках спецификаций , такие как CSP и Z . Они не достигли ожидаемого распространения в отрасли, и в 1995 году Хоар был вынужден задуматься над исходными предположениями:
Десять лет назад исследователи формальных методов (и я был самым ошибочным из них) предсказали, что мир программирования с благодарностью примет любую помощь, обещанную формализацией, для решения проблем надежности, которые возникают, когда программы становятся большими и более критичными к безопасности. Теперь программы стали очень большими и очень важными - намного превышающими масштабы, с которыми можно легко справиться с помощью формальных методов. Было много проблем и неудач, но они почти всегда объяснялись неадекватным анализом требований или неадекватным управленческим контролем. Оказалось, что мир не сильно страдает от проблем, для решения которых изначально было задумано наше исследование.
Книги
- Даль, О.-Дж. ; Дейкстра, EW ; Хоар, ЦАР (1972). Структурированное программирование . Академическая пресса . ISBN 978-0-12-200550-3. OCLC 23937947 .
- К.А. Хоар (1985). Связь последовательных процессов . Международная серия Prentice Hall по компьютерным наукам. ISBN 978-0131532717 (в твердой обложке) или ISBN 978-0131532892 (в мягкой обложке). (Доступно на сайте http://www.usingcsp.com/ в формате PDF.)
- Хоар, ЦАР; Гордон, MJC (1992). Механизированное мышление и аппаратный дизайн . Международная серия Prentice Hall по компьютерным наукам. ISBN 978-0-13-572405-7. OCLC 25712842 .
- Хоар, ЦАР; Он, Цзифэн (1998). Объединяющие теории программирования . Международная серия Prentice Hall по компьютерным наукам. ISBN 978-0-13-458761-5. OCLC 38199961 .
Личное
В 1962 году Хоар женился на Джилл Пим, члене его исследовательской группы.
Награды и награды
- Заслуженный член Британского компьютерного общества (1978)
- Премия Тьюринга за «фундаментальный вклад в определение и разработку языков программирования ». Награда была вручена ему на ежегодной конференции ACM в Нэшвилле, штат Теннесси , 27 октября 1980 года Уолтером Карлсоном, председателем комитета по наградам. Стенограмма речи Хора была опубликована в Коммуникациях ACM .
- Премия памяти Гарри Х. Гуда (1981)
- Член Королевского общества (1982)
- Почетный доктор наук Королевского университета Белфаста (1987)
- Почетный доктор наук Батского университета (1993).
- Почетный научный сотрудник, Колледж Келлог, Оксфорд (1998)
- Получил рыцарский титул за заслуги перед образованием и информатикой (2000 г.)
- Киотская премия в области информатики (2000 г.)
- Член в Королевской инженерной академии (2005)
- Член Национальной инженерной академии (2006 г.)
- Музей истории компьютеров (CHM) в Маунтин-Вью, штат Калифорния Член музея «За разработку алгоритма быстрой сортировки и за постоянный вклад в теорию языков программирования » (2006 г.)
- Почетный доктор Университета Хериот-Ватт (2007).
- Почетный доктор наук факультета информатики Афинского университета экономики и бизнеса (AUEB) (2007 г.)
- Премия Фридриха Л. Бауэра, Технический университет Мюнхена (2007)
- Премия SIGPLAN Programming Languages Achievement Award (2011)
- IEEE Медаль Джона фон Неймана (2011 г.)
- Почетный доктор Варшавского университета (2012)
- Почетный доктор Мадридского университета Комплутенсе (2013 г.)
использованная литература
Эта статья включает текст, доступный по лицензии CC BY 4.0 .