Из Википедии, бесплатной энциклопедии
  (Перенаправлено из CAR Hoare )
Перейти к навигации Перейти к поиску
Для велогонщика см Тони Хоара .

сэр

Тони Хоар

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

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

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

Образование и ранняя жизнь [ править ]

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

Исследования и карьера [ править ]

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

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

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

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

Извинения и опровержения [ править ]

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

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

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

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

Книги [ править ]

  • Даль, О.-Дж. ; Дейкстра, 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 году Хоар женился на Джилл Пим, члене его исследовательской группы. [28]

Награды и награды [ править ]

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

Ссылки [ править ]

  1. ^ a b Тони Хоар из проекта « Математическая генеалогия»
  2. Перейти ↑ Sampaio, Augusto (1993). Алгебраический подход к проектированию компилятора . bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. OCLC 854973008 . EThOS uk.bl.ethos.334903 .  
  3. ^ a b c "Список стипендиатов" .
  4. ^ «Дни рождения 10 января» . The Times . Лондон. 10 января 2009 . Проверено 9 января 2010 года .
  5. ^ "Сэр Энтони Хоар" . Музей истории компьютеров. Архивировано из оригинала 3 апреля 2015 года . Проверено 22 апреля 2015 года .
  6. ^ Страница профиля автора Тони Хоара вцифровой библиотеке ACM
  7. ^ CAR Hoare насервере библиографии DBLP
  8. ^ Список публикаций из Microsoft Academic
  9. ^ Shustek, L. (2009). «Интервью: Интервью с CAR Hoare». Коммуникации ACM . 52 (3): 38–41. DOI : 10.1145 / 1467247.1467261 . S2CID 1868477 . 
  10. Перейти ↑ Hoare, CAR (1974). «Мониторы: концепция структурирования операционной системы». Коммуникации ACM . 17 (10): 549–557. DOI : 10.1145 / 355620.361161 . S2CID 1005769 . 
  11. ↑ Боуэн, Джонатан (8 сентября 2006 г.). Устная история сэра Энтони Хора (PDF) . Хоар (сэр Энтони, ЦАР) Устная история, CHM Справочный номер: X3698.2007 (отчет). Музей истории компьютеров . Архивировано из оригинала на 2013 . Проверено 18 апреля 2014 года .
  12. Перейти ↑ Lean, Thomas (2011). "Профессор сэр Тони Хоар" (PDF) . Истории национальной жизни: устная история британской науки . Великобритания: Британская библиотека . Проверено 15 сентября 2014 года .
  13. ^ a b c d e Левенс, RGC, изд. (1964). Регистр колледжа Мертон 1900-1964 . Оксфорд: Бэзил Блэквелл. п. 434.
  14. ^ a b Хоар, Тони (осень 2009 г.). «Мои первые дни в Эллиотсе» . Воскресение (48). ISSN 0958-7403 . Проверено 27 мая 2014 . 
  15. ^ Роско, Билл ; Джонс, Клифф (2010). «1 Проницательность, вдохновение и сотрудничество» (PDF) . Размышления о творчестве К. Хора . Springer . ISBN  978-1-84882-911-4.
  16. ^ а б Хоар, ЦАР (февраль 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, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Проверено 7 октября 2020 .
  19. ^ Swierstra, Doaitse; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Проверено 7 октября 2020 .
  20. ^ Домашняя страница Microsoft - краткая биография
  21. ↑ Устное интервью истории с CAR Hoare в Институте Чарльза Бэббиджа , Университет Миннесоты, Миннеаполис.
  22. ^ Классическая статья о мониторах - Оригинальная статья о мониторах
  23. ^ «Предисловие к лекции ACM Turing Award» (PDF) . Архивировано из оригинального (PDF) 19 апреля 2012 года.
  24. ^ "С. Энтони (Тони) Р. Хоар" . Архивировано из оригинала на 1 июля 2012 года.
  25. ↑ Хоар, Тони (25 августа 2009 г.). «Нулевые ссылки: ошибка в миллиард долларов» . InfoQ.com.
  26. ^ Хоар, Тони (2009). «Нулевые ссылки: ошибка в миллиард долларов» (аннотация презентации). QCon London. Архивировано 28 июня 2009 года.
  27. Перейти ↑ Hoare, CAR (1996). «Объединение теорий: вызов вычислительной науке». Избранные доклады 11-го семинара по спецификации абстрактных типов данных, проведенного совместно с 8-м семинаром COMPASS по последним тенденциям в спецификации типов данных . Springer-Verlag. С. 49–57. ISBN 3-540-61629-2.
  28. ^ Джонс, Клифф ; Роско, AW ; Вуд, Кеннет Р., ред. (2010). Размышления о творчестве К. Хора . Springer Science. п. 3 . Bibcode : 2010rwch.book ..... R .
  29. ↑ Хор, Чарльз Энтони Ричард (27 октября 1980 г.). "Старая одежда императора: лекция о премии ACM Тьюринга 1980 года" (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: archived copy as title (link)
  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 .

Внешние ссылки [ править ]

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