stringtranslate.com

Тони Хоар

Сэр Чарльз Энтони Ричард Хоар FRS FREng [3], также известный как Тони Хоар или по инициалам К. А. Хоар ( / h ɔːr / ; родился 11 января 1934 года) — британский учёный-компьютерщик, внёсший основополагающий вклад в языки программирования , алгоритмы , операционные системы , формальную верификацию и параллельные вычисления . [4] За свою работу он получил в 1980 году премию Тьюринга , обычно считающуюся высшей наградой в области компьютерных наук.

Хоар разработал алгоритм сортировки quicksort в 1959–1960 годах. [5] Он разработал логику Хоара , аксиоматическую основу для проверки корректности программ . В семантике параллелизма он ввел формальный язык, сообщающий последовательные процессы (CSP), для определения взаимодействия параллельных процессов и вместе с Эдсгером Дейкстрой сформулировал проблему обедающих философов . [6] [7] [8] [9] [10] [11] С 1977 года он занимал должности в Оксфордском университете и Microsoft Research в Кембридже .

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

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

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

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

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

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

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

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

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

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

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

В честь 90-летия Хоара была написана памятная статья. [30]

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

Личная жизнь

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

Книги

Ссылки

  1. ^ ab Тони Хоар в проекте «Генеалогия математики»
  2. ^ Сампайо, Аугусто (1993). Алгебраический подход к проектированию компиляторов. bodleian.ox.ac.uk (диссертация доктора философии). Оксфордский университет. OCLC  854973008. EThOS  uk.bl.ethos.334903.[ постоянная мертвая ссылка ]
  3. ^ abc "Список стипендиатов". Архивировано из оригинала 8 июня 2016 года . Получено 17 октября 2014 года .
  4. ^ Джонс, Клифф Б.; Мисра , Джаядев , ред. (2021). Теории программирования: жизнь и творчество Тони Хоара . ACM Books. Том 39. Нью-Йорк, Нью-Йорк: Ассоциация вычислительной техники . doi : 10.1145/3477355. ISBN 978-1-4503-8728-6. S2CID  238251696.
  5. ^ "Сэр Энтони Хоар". Музей истории компьютеров. Архивировано из оригинала 3 апреля 2015 года . Получено 22 апреля 2015 года .
  6. ^ Профиль автора Тони Хоара на странице ACM Digital Library
  7. ^ CAR Hoare на сервере библиографии DBLP
  8. ^ Публикации Тони Хоара, проиндексированные Microsoft Academic
  9. ^ Шустек, Л. (2009). «Интервью: интервью с К. А. Р. Хоаром». Сообщения ACM . 52 (3): 38–41. doi :10.1145/1467247.1467261. S2CID  1868477.
  10. ^ Хоар, КАР (1974). «Мониторы: концепция структурирования операционной системы». Сообщения ACM . 17 (10): 549–557. doi : 10.1145/355620.361161 . S2CID  1005769.
  11. ^ Боуэн, Джонатан (8 сентября 2006 г.). Устная история сэра Энтони Хоара. Устная история Хоара (сэра Энтони, CAR), CHM Номер ссылки: X3698.2007 (Отчет). Музей компьютерной истории . Архивировано из оригинала 3 июля 2013 г. . Получено 18 апреля 2014 г.{{cite report}}: CS1 maint: бот: исходный статус URL неизвестен ( ссылка )
  12. ^ Lean, Thomas (2011). "Профессор сэр Тони Хоар" (PDF) . Истории национальной жизни: устная история британской науки . Великобритания: Британская библиотека . Архивировано (PDF) из оригинала 15 сентября 2014 года . Получено 15 сентября 2014 года .
  13. ^ abcde Levens, RGC, ред. (1964). Merton College Register 1900-1964 . Оксфорд: Basil Blackwell. стр. 434.
  14. ^ ab Hoare, Tony (осень 2009). "My Early Days at Elliotts". Resurrection (48). ISSN  0958-7403 . Получено 27 мая 2014 .
  15. ^ Роско, Билл ; Джонс, Клифф (2010). "1 Insight, inspiration and collaboration" (PDF) . Размышления о работе К. А. Хоара . Springer . ISBN 978-1-84882-911-4. Архивировано (PDF) из оригинала 9 октября 2022 г.
  16. ^ ab Hoare, CAR (февраль 1981). «Старая одежда императора». Сообщения ACM . 24 (2): 5–83. doi : 10.1145/358549.358561 . ISSN  0001-0782.
  17. ^ Hoare, CAR (1981). «Старая одежда императора». Сообщения ACM . 24 (2): 75–83. doi : 10.1145/358549.358561 .
  18. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 августа 2016 г.). «Профиль рабочей группы IFIP 2.1». Foswiki . Получено 7 октября 2020 г.
  19. ^ Свирстра, Доайтсе; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «Область применения: ИФИП21: Фосвики». Фосвики . Проверено 7 октября 2020 г.
  20. ^ "Christopher Strachey Professorship of Computing". Кафедра компьютерных наук, Оксфордский университет . 5 ноября 2021 г. Получено 18 января 2024 г.
  21. ^ Домашняя страница Microsoft – краткая биография
  22. ↑ Устное историческое интервью с К. А. Р. Хоаром в Институте Чарльза Бэббиджа , Университет Миннесоты, Миннеаполис.
  23. ^ Классическая статья о мониторах – Оригинальная статья о мониторах
  24. ^ "Предисловие к лекции ACM Turing Award" (PDF) . Архивировано из оригинала (PDF) 19 апреля 2012 года.
  25. ^ "C. Antony (Tony) R. Hoare". Архивировано из оригинала 1 июля 2012 года.
  26. ↑ Хоар, Тони (25 августа 2009 г.). «Нулевые ссылки: ошибка на миллиард долларов». InfoQ.com.
  27. ^ «Null: Ошибка на миллиард долларов». hashnode.com. 3 сентября 2020 г.
  28. ^ Хоар, Тони (2009). «Нулевые ссылки: ошибка на миллиард долларов» (аннотация к презентации). QCon London. Архивировано из оригинала 28 июня 2009 г.
  29. ^ Hoare, CAR (1996). «Унификация теорий: вызов для вычислительной науки». Избранные статьи 11-го семинара по спецификации абстрактных типов данных, совместного с 8-м семинаром COMPASS по последним тенденциям в спецификации типов данных . Springer-Verlag. стр. 49–57. ISBN 3-540-61629-2.
  30. ^ Jifeng, He ; Jones, Cliff ; Roscoe, Bill ; Stoy, Joe ; Sufrin, Bernard ; Bowen, Jonathan P. (2 июля 2024 г.). Denvir, Tim (ред.). "Tony Hoare @ 90" (PDF) . FACS FACTS (статья в журнале). Formal Aspects of Computing Science ( FACS ) Specialist Group. стр. 5–42. ISSN  0950-1231. Архивировано (PDF) из оригинала 10 июля 2024 г. . Получено 10 июля 2024 г. .
  31. ^ "ACM Programming Systems and Languages ​​Paper Award". Ассоциация вычислительной техники. 1973. Получено 7 июля 2022 .
  32. ^ Hoare, CAR (1972). «Доказательство корректности представлений данных». Сообщения ACM . 1 (4): 271–281. doi :10.1007/BF00289507. S2CID  34414224.
  33. ^ Хоар, Чарльз Энтони Ричард (27 октября 1980 г.). «Старые одежды императора: лекция на церемонии вручения премии Тьюринга ACM 1980 года» (PDF) . Ассоциация вычислительной техники. Архивировано из оригинала (PDF) 19 апреля 2012 г.
  34. ↑ Anon (1982). "Энтони Хоар FRS". royalsociety.org . Лондон: Королевское общество .
  35. ^ "Почетные выпускники с 1989 года по настоящее время". bath.ac.uk . Университет Бата . Архивировано из оригинала 17 июля 2010 года . Получено 18 февраля 2012 года .
  36. ^ "(Чарльз) Энтони Ричард (Тони) Хоар Биография". Архивировано из оригинала 17 июля 2014 года.
  37. ^ "Сэр Энтони Хоар: стипендиат 2006 года". Архивировано из оригинала 3 апреля 2015 года . Получено 8 марта 2020 года ."Сэр Энтони Хоар | Музей истории компьютеров". Архивировано из оригинала 3 апреля 2015 г. Получено 22 апреля 2015 г.
  38. ^ "Annual Review 2007: Principal's Review". www1.hw.ac.uk . Архивировано из оригинала 5 марта 2016 . Получено 29 марта 2016 .
  39. ^ "Preisverleihung auf der Festveranstaltung "40 Jahre Informatik в Мюнхене": TU München vergibt Friedrich L. Bauer-Preis an Tony Hoare" (на немецком языке). Технический университет Мюнхена . 26 октября 2007 г. Архивировано из оригинала 10 июня 2016 г. . Проверено 14 мая 2016 г.
  40. ^ "Programming Languages ​​Achievement Award 2011". ACM . Получено 28 августа 2012 г.
  41. ^ "IEEE John von Neumann Medal Recipients" (PDF) . IEEE. Архивировано из оригинала (PDF) 9 октября 2022 г. . Получено 26 февраля 2011 г. .
  42. ↑ Кшиштоф, Дикс (15 ноября 2012 г.). «Профессор Хоаре доктор почетного причинного университета Варшавского» (на польском языке). Варшавский университет . Архивировано из оригинала 26 августа 2014 года . Проверено 26 ноября 2012 г.
  43. ^ «Лос информатик Тони Хоар и Матео Валеро были инвестированы в почетных докторов, причиненных ла Комплутенсе» (на испанском языке). 10 мая 2013 года . Проверено 10 мая 2013 г.
  44. ^ Королевская медаль 2023 г.
  45. ^ Джонс, Клифф ; Роско, AW ; Вуд, Кеннет Р., ред. (2010). Размышления о работе К. А. Хоара . Springer Science. стр. 3. Bibcode :2010rwch.book.....R.

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

Внешние ссылки

На Викискладе есть медиафайлы по теме К. А. Хоар .
В Викицитатнике есть цитаты, связанные с Тони Хоаром .