Тони Хоар - Tony Hoare

сэр

Тони Хоар

ФРС FREng
Сэр Тони Хоар IMG 5125.jpg
Тони Хоар в 2011 году
Родившийся
Чарльз Энтони Ричард Хоар

(1934-01-11) 11 января 1934 г. (86 лет)
Коломбо, Британский Цейлон
Другие именаК. А. Р. Хоар
Альма-матер
Известен
Награды
Научная карьера
ПоляИнформатика
Учреждения
Докторанты
Интернет сайтwww.cs.ox.ac.Великобритания/люди/Тони.hoare
Для велогонщика см. Тони Хоар.

Сэр Чарльз Энтони Ричард Хоар ФРС FREng[3] (родился 11 января 1934 г.)[4] британец специалист в области информатики. Он разработал алгоритм сортировки быстрая сортировка в 1959–1960 гг.[5] Он также разработал Логика Хоара для проверки правильности программы и формального языка связь последовательных процессов (CSP), чтобы указать взаимодействия параллельные процессы (в том числе проблема обедающих философов ) и вдохновение для язык программирования Оккам.[6][7][8][9][10][11]

Образование и ранняя жизнь

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

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

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

Он участвовал в разработке международные стандарты в программировании и информатике, как член Международная федерация обработки информации (ИФИП) Рабочая группа 2.1 ИФИП по алгоритмическим языкам и исчислениям,[18] который указан, поддерживает и поддерживает языки ALGOL 60 и АЛГОЛ 68.[19]

Он стал профессором Компьютерная наука на Королевский университет Белфаста в 1968 году, а в 1977 году вернулся в Оксфорд в качестве профессора вычислительной техники, чтобы возглавить Группа исследования программирования в Вычислительная лаборатория Оксфордского университета (сейчас же Департамент компьютерных наук Оксфордского университета ), после смерти Кристофер Стрейчи. Теперь он Почетный профессор там, а также является главным исследователем в Microsoft Research в Кембридж, Англия.[20][21][22]

Наиболее значительная работа Хоара была в следующих областях: его алгоритм сортировки и выбора (Быстрая сортировка и Быстрый выбор ), Логика Хоара, формальный язык связь последовательных процессов (CSP) используется для указания взаимодействия между параллельные процессы, структурирование компьютера операционные системы с использованием монитор концепция и аксиоматический спецификация языки программирования.[23][24]

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

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

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

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

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

Книги

  • Даль, О.-Дж.; Дейкстра, Э. В.; Хоар, К. А. Р. (1972). Структурированное программирование. Академическая пресса. ISBN  978-0-12-200550-3. OCLC  23937947.
  • К. А. Р. Хоар (1985). Связь последовательных процессов. Prentice Hall Международная серия по информатике. ISBN  978-0131532717 (переплет) или ISBN  978-0131532892 (мягкая обложка). (Доступно на сайте http://www.usingcsp.com/ в формате PDF.)
  • Hoare, C.A.R .; Гордон, М.Дж.С. (1992). Механизированное мышление и аппаратный дизайн. Международная серия Prentice Hall по компьютерным наукам. ISBN  978-0-13-572405-7. OCLC  25712842.
  • Hoare, C.A.R .; Цзифэн, Он (1998). Объединяющие теории программирования. Международная серия Prentice Hall по компьютерным наукам. ISBN  978-0-13-458761-5. OCLC  38199961.

Личное

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

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

Рекомендации

  1. ^ а б Тони Хоар на Проект "Математическая генеалогия"
  2. ^ Сампайо, Августо (1993). Алгебраический подход к проектированию компилятора. bodleian.ox.ac.uk (Докторская диссертация). Оксфордский университет. OCLC  854973008. EThOS  uk.bl.ethos.334903.
  3. ^ а б c «Список стипендиатов».
  4. ^ «Дни рождения 10 января». Времена. Лондон. 10 января 2009 г.. Получено 9 января 2010.
  5. ^ "Сэр Энтони Хоар". Музей истории компьютеров. Архивировано из оригинал 3 апреля 2015 г.. Получено 22 апреля 2015.
  6. ^ Тони Хоар страница профиля автора на ACM Цифровая библиотека
  7. ^ К. А. Р. Хоар в DBLP Сервер библиографии Отредактируйте это в Викиданных
  8. ^ Список публикаций из Microsoft Academic
  9. ^ Шустек, Л. (2009). «Интервью: интервью с C.A.R. Hoare». Коммуникации ACM. 52 (3): 38–41. Дои:10.1145/1467247.1467261. S2CID  1868477.
  10. ^ Хоар, К. А. Р. (1974). «Мониторы: концепция структурирования операционной системы». Коммуникации ACM. 17 (10): 549–557. Дои:10.1145/355620.361161. S2CID  1005769.
  11. ^ Боуэн, Джонатан (8 сентября 2006 г.). Устная история сэра Энтони Хора (PDF). Хоар (сэр Энтони, C.A.R.) Устная история, CHM Ссылочный номер: X3698.2007 (Отчет). Музей истории компьютеров. Архивировано из оригинал на 2013 год. Получено 18 апреля 2014.
  12. ^ Lean, Томас (2011). "Профессор сэр Тони Хоар" (PDF). Национальные истории из жизни: устная история британской науки. ВЕЛИКОБРИТАНИЯ: Британская библиотека. Получено 15 сентября 2014.
  13. ^ а б c d е Левенс, R.G.C., изд. (1964). Регистр Мертонского колледжа 1900-1964. Оксфорд: Бэзил Блэквелл. п. 434.
  14. ^ а б Хоар, Тони (осень 2009 г.). "Мои первые дни в Эллиотсе". Воскрешение (48). ISSN  0958-7403. Получено 27 мая 2014.
  15. ^ Роско, Билл; Джонс, Клифф (2010). «1 Проницательность, вдохновение и сотрудничество» (PDF). Размышления о работе C.A.R. Hoare. Springer. ISBN  978-1-84882-911-4.
  16. ^ а б Хоар, C.A.R. (Февраль 1981 г.). "Старая одежда императора". Коммуникации ACM. 24 (2): 5–83. Дои:10.1145/358549.358561. ISSN  0001-0782.
  17. ^ Хоар, К. А. Р. (1981). "Старая одежда императора". Коммуникации ACM. 24 (2): 75–83. Дои:10.1145/358549.358561.
  18. ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 7 октября 2020.
  19. ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 7 октября 2020.
  20. ^ Домашняя страница Microsoft - краткая биография
  21. ^ Устное историческое интервью с К.А.Р. Хором в Институт Чарльза Бэббиджа, Университет Миннесоты, Миннеаполис.
  22. ^ Классическая статья о мониторах - Оригинальная статья о мониторах
  23. ^ «Предисловие к лекции ACM Turing Award» (PDF). Архивировано из оригинал (PDF) 19 апреля 2012 г.
  24. ^ "К. Энтони (Тони) Р. Хоар". Архивировано из оригинал 1 июля 2012 г.
  25. ^ Хоар, Тони (25 августа 2009 г.). «Нулевые ссылки: ошибка в миллиард долларов». InfoQ.com.
  26. ^ Хоар, Тони (2009). «Нулевые ссылки: ошибка в миллиард долларов» (Аннотация презентации). QCon London. В архиве из оригинала 28 июня 2009 г.
  27. ^ Хоар, К. А. Р. (1996). «Объединение теорий: вызов вычислительной науке». Избранные доклады 11-го семинара по спецификации абстрактных типов данных совместно с 8-м семинаром COMPASS по последним тенденциям в спецификации типов данных. Springer-Verlag. С. 49–57. ISBN  3-540-61629-2.
  28. ^ Джонс, Клифф; Роско, А.В.; Вуд, Кеннет Р., ред. (2010). Размышления о работе C.A.R. Hoare. Springer Science. п.3. Bibcode:2010rwch.book ..... R.
  29. ^ Хор, Чарльз Энтони Ричард (27 октября 1980 г.). «Старая одежда императора: лекция 1980 года о премии ACM Turing» (PDF). Ассоциация вычислительной техники. Архивировано из оригинал (PDF) 19 апреля 2012 г.
  30. ^ Анон (1982). "Энтони Хоар ФРС". royalsociety.org. Лондон: Королевское общество.
  31. ^ «Почетные выпускники с 1989 г. по настоящее время». Bath.ac.uk. Университет Бата. Получено 18 февраля 2012.
  32. ^ (Чарльз) Энтони Ричард (Тони) Хоар биография
  33. ^ "Сэр Энтони Хоар: сотрудник 2006 г.". Архивировано из оригинал 3 апреля 2015 г.. Получено 8 марта 2020.«Архивная копия». Архивировано из оригинал 3 апреля 2015 г.. Получено 22 апреля 2015.CS1 maint: заархивированная копия как заголовок (связь)
  34. ^ «Годовой отчет за 2007 год: обзор директора». www1.hw.ac.uk. Архивировано из оригинал 5 марта 2016 г.. Получено 29 марта 2016.
  35. ^ "Preisverleihung auf der Festveranstaltung" 40 Jahre Informatik in München ": TU München vergibt Friedrich L. Bauer-Preis an Tony Hoare" (на немецком). Технический университет Мюнхена. 26 октября 2007 г. Архивировано с оригинал 10 июня 2016 г.. Получено 14 мая 2016.
  36. ^ "Премия за достижения в области языков программирования 2011". ACM. Получено 28 августа 2012.
  37. ^ «Получатели медали IEEE имени Джона фон Неймана» (PDF). IEEE. Получено 26 февраля 2011.
  38. ^ Кшиштоф, Дикс (15 ноября 2012 г.). "Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego" (по польски). Варшавский университет. Архивировано из оригинал 26 августа 2014 г.. Получено 26 ноября 2012.
  39. ^ "Los informáticos Tony Hoare y Mateo Valero serán investidos hoy doctores honoris causa por la Complutense" (на испанском). 10 мая 2013. Получено 10 мая 2013.

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

внешняя ссылка