Тони Хоар

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

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

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

Образование и молодость

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

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

В 1960 году Хоар покинул Советский Союз и начал работать в Elliott Brothers Ltd , ^[13] небольшой фирме по производству компьютеров, расположенной в Лондоне. Там он реализовал язык АЛГОЛ 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), используемый для определения взаимодействий между параллельными процессами (и реализованный в различных языках программирования, таких как как occam ), структурирование компьютерных операционных систем с использованием концепции монитора и аксиоматическая спецификация языков программирования . ^{[24] [25]}

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

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

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

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

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

• Премия ACM Programming Systems and Languages ​​Paper Award (1973) ^[30] за статью «Доказательство правильности представления данных» ^[31]
• Почетный член Британского компьютерного общества (1978).
• Премия Тьюринга за «фундаментальный вклад в определение и разработку языков программирования ». Награда была вручена ему на ежегодной конференции ACM в Нэшвилле, штат Теннесси , 27 октября 1980 года Уолтером Карлсоном, председателем комитета по наградам. Стенограмма выступления Хоара ^[32] была опубликована в журнале Communications of the ACM . ^[16]
• Премия Мемориала Гарри Х. Гуда (1981)
• Член Королевского общества (1982) ^[33]
• Почетный доктор наук Королевского университета в Белфасте (1987).
• Почетный доктор наук Университета Бата (1993 г.) ^[34]
• Почетный член Колледжа Келлог, Оксфорд (1998) ^[35]
• Присвоен рыцарям за заслуги перед образованием и информатикой ( 2000 ).
• Киотская премия в области информатики (2000 г.)
• Член ^[3] Королевской инженерной академии ^[3] (2005 г.)
• Член Национальной инженерной академии (2006 г.) за фундаментальный вклад в информатику в области алгоритмов, операционных систем и языков программирования.
• Музей истории компьютеров (CHM) в Маунтин-Вью, Калифорния. Сотрудник музея «за разработку алгоритма быстрой сортировки и за пожизненный вклад в теорию языков программирования » (2006) ^[36]
• Почетный доктор Университета Хериот-Ватт (2007 г.) ^[37]
• Почетный доктор наук кафедры информатики Афинского университета экономики и бизнеса (AUEB) (2007 г.).
• Премия Фридриха Л. Бауэра, Мюнхенский технический университет (2007 г.) ^[38]
• Премия SIGPLAN за достижения в области языков программирования (2011) ^[39]
• Медаль IEEE Джона фон Неймана (2011) ^[40]
• Почетный доктор Варшавского университета (2012 г.) ^[41]
• Почетный доктор Мадридского университета Комплутенсе (2013 г.) ^[42]
• Королевская медаль Королевского общества (2023 г.) ^[43]

Личная жизнь

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

Книги

• Даль, О.-Дж. ; Дейкстра, EW ; Хоар, ЦАР (1972). Структурное программирование . Академическая пресса . ISBN 978-0-12-200550-3. ОСЛК  23937947.
• АВТОМОБИЛЬ Хоара (1985). Коммуникация последовательных процессов . Международная серия Прентис Холл по информатике. ISBN 978-0131532717 (в твердом переплете) или ISBN 978-0131532892 (в мягкой обложке). (Доступно на сайте http://www.usingcsp.com/ в формате PDF.)  
• Хоар, ЦАР (1989). CB, Джонс (ред.). Очерки по информатике. Международная серия Прентис Холл по информатике. ISBN 978-0-13-284027-9.
• Хоар, ЦАР; Гордон, MJC (1992). Механизированное мышление и проектирование аппаратного обеспечения . Международная серия Прентис Холл по информатике. ISBN 978-0-13-572405-7. ОСЛК  25712842.
• Хоар, ЦАР; Он, Цзифэн (1998). Объединение теорий программирования . Международная серия Прентис Холл по информатике. ISBN 978-0-13-458761-5. ОСЛК  38199961.

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

1. Тони Хоар в проекте математической генеалогии
2. Сампайо, Аугусто (1993). Алгебраический подход к проектированию компилятора. bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. OCLC  854973008. EThOS  uk.bl.ethos.334903.^{[ постоянная мертвая ссылка ]}
3. «Список научных сотрудников». Архивировано из оригинала 8 июня 2016 года . Проверено 17 октября 2014 г.
4. Джонс, Клифф Б .; Мисра, Джаядев , ред. (2021). Теории программирования: жизнь и творчество Тони Хоара . Книги АСМ. Том. 39. Нью-Йорк, штат Нью-Йорк: Ассоциация вычислительной техники . дои : 10.1145/3477355. ISBN 978-1-4503-8728-6. S2CID  238251696.
5. "Сэр Энтони Хоар". Музей истории компьютеров. Архивировано из оригинала 3 апреля 2015 года . Проверено 22 апреля 2015 г.
6. Страница профиля автора Тони Хоара в цифровой библиотеке ACM.
7. CAR Hoare на библиографическом сервере DBLP
8. Публикации Тони Хоара, индексированные Microsoft Academic.
9. Шустек, Л. (2009). «Интервью: Интервью с CAR Hoare». Коммуникации АКМ . 52 (3): 38–41. дои : 10.1145/1467247.1467261. S2CID  1868477.
10. Хоар, АВТОМОБИЛЬ (1974). «Мониторы: концепция структурирования операционной системы». Коммуникации АКМ . 17 (10): 549–557. дои : 10.1145/355620.361161 . S2CID  1005769.
11. Боуэн, Джонатан (8 сентября 2006 г.). Устная история сэра Энтони Хоара. Хоар (сэр Энтони, ЦАР) Устная история, CHM Справочный номер: X3698.2007 (Отчет). Музей истории компьютеров . Архивировано из оригинала 3 июля 2013 года . Проверено 18 апреля 2014 г.{{cite report}}: CS1 maint: bot: исходный статус URL неизвестен ( ссылка )
12. Лин, Томас (2011). «Профессор сэр Тони Хоар» (PDF) . Истории национальной жизни: устная история британской науки . Великобритания: Британская библиотека . Архивировано (PDF) из оригинала 15 сентября 2014 года . Проверено 15 сентября 2014 г.
13. Левенс, RGC, изд. (1964). Реестр Мертон-колледжа, 1900–1964 гг . Оксфорд: Бэзил Блэквелл. п. 434.
14. Хоар, Тони (осень 2009 г.). «Мои первые дни в Эллиоттсе». Воскресение (48). ISSN  0958-7403 . Проверено 27 мая 2014 г.
15. Роско, Билл ; Джонс, Клифф (2010). «1 Понимание, вдохновение и сотрудничество» (PDF) . Размышления о работе К.А.Р. Хоара . Спрингер . ISBN 978-1-84882-911-4. Архивировано (PDF) из оригинала 9 октября 2022 года.
16. Хоар, ЦАР (февраль 1981 г.). «Старая одежда императора». Коммуникации АКМ . 24 (2): 5–83. дои : 10.1145/358549.358561 . ISSN  0001-0782.
17. Хоар, АВТОМОБИЛЬ (1981). «Старая одежда императора». Коммуникации АКМ . 24 (2): 75–83. дои : 10.1145/358549.358561 .
18. Жеринг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1». Фосвики . Проверено 7 октября 2020 г.
19. Свирстра, Доайтсе; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «Область применения: ИФИП21: Фосвики». Фосвики . Проверено 7 октября 2020 г.
20. "Профессор вычислительной техники Кристофера Стрейчи" . Кафедра компьютерных наук Оксфордского университета . 5 ноября 2021 г. Проверено 18 января 2024 г.
21. Домашняя страница Microsoft - краткая биография
22. Устное историческое интервью с КАР Хоаром в Институте Чарльза Бэббиджа , Университет Миннесоты, Миннеаполис.
23. Классическая статья о мониторах - Оригинальная статья о мониторах.
24. «Предисловие к лекции на премию ACM Тьюринга» (PDF) . Архивировано из оригинала (PDF) 19 апреля 2012 года.
25. "К. Энтони (Тони) Р. Хоар" . Архивировано из оригинала 1 июля 2012 года.
26. Хоар, Тони (25 августа 2009 г.). «Нулевые ссылки: ошибка на миллиард долларов». InfoQ.com.
27. «Ноль: ошибка на миллиард долларов» . hashnode.com. 3 сентября 2020 г.
28. Хоар, Тони (2009). «Нулевые ссылки: ошибка на миллиард долларов» (тезисы презентации). QCon Лондон. Архивировано из оригинала 28 июня 2009 года.
29. Хоар, АВТОМОБИЛЬ (1996). «Унификация теорий: вызов информатике». Избранные статьи 11-го семинара по спецификации абстрактных типов данных, совместного с 8-м семинаром COMPASS по последним тенденциям в спецификации типов данных . Спрингер-Верлаг. стр. 49–57. ISBN 3-540-61629-2.
30. "Награда ACM по системам программирования и языкам" . Ассоциация вычислительной техники. 1973 год . Проверено 7 июля 2022 г.
31. Хоар, АВТОМОБИЛЬ (1972). «Доказательство правильности представления данных». Коммуникации АКМ . 1 (4): 271–281. дои : 10.1007/BF00289507. S2CID  34414224.
32. Хоар, Чарльз Энтони Ричард (27 октября 1980 г.). «Старая одежда императора: лекция на премии Тьюринга ACM 1980 года» (PDF) . Ассоциация вычислительной техники. Архивировано из оригинала (PDF) 19 апреля 2012 года.
33. Анон (1982). «Энтони Хоар, ФРС». royalsociety.org . Лондон: Королевское общество .
34. «Почетные выпускники с 1989 г. по настоящее время» . Bath.ac.uk.​ Университет Бата . Архивировано из оригинала 17 июля 2010 года . Проверено 18 февраля 2012 г.
35. "(Чарльз) Энтони Ричард (Тони) Хоар Биография" . Архивировано из оригинала 17 июля 2014 года.
36. "Сэр Энтони Хоар: научный сотрудник 2006 года" . Архивировано из оригинала 3 апреля 2015 года . Проверено 8 марта 2020 г.«Сэр Энтони Хоар | Музей истории компьютеров» . Архивировано из оригинала 3 апреля 2015 года . Проверено 22 апреля 2015 г.
37. «Годовой обзор 2007: Обзор директора» . www1.hw.ac.uk. ​Архивировано из оригинала 5 марта 2016 года . Проверено 29 марта 2016 г.
38. "Preisverleihung auf der Festveranstaltung "40 Jahre Informatik в Мюнхене": TU München vergibt Friedrich L. Bauer-Preis an Tony Hoare" (на немецком языке). Технический университет Мюнхена . 26 октября 2007 г. Архивировано из оригинала 10 июня 2016 г. Проверено 14 мая 2016 г. .
39. «Награда за достижения в области языков программирования 2011» . АКМ . Проверено 28 августа 2012 г.
40. «Обладатели медали Джона фон Неймана IEEE» (PDF) . IEEE. Архивировано (PDF) из оригинала 9 октября 2022 года . Проверено 26 февраля 2011 г.
41. Кшиштоф, Дикс (15 ноября 2012 г.). «Профессор Хоаре доктор почетного причинного университета Варшавского» (на польском языке). Варшавский университет . Архивировано из оригинала 26 августа 2014 года . Проверено 26 ноября 2012 г.
42. «Лос-информатик Тони Хоар и Матео Валеро были инвестированы в почетных докторов, причиненных ла Комплутенсе» (на испанском языке). 10 мая 2013 года . Проверено 10 мая 2013 г.
43. Королевская медаль 2023 г.
44. Джонс, Клифф ; Роско, AW ; Вуд, Кеннет Р., ред. (2010). Размышления о работе К.А.Р. Хоара . Спрингер Наука. п. 3. Бибкод : 2010rwch.book.....R.

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

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

• Официальный веб-сайт