Тони Хоар
Тони Хоар | |
|---|---|
 Тони Хоар в 2011 году | |
| Рожденный | Чарльз Энтони Ричард Хоар 11 января 1934 г. |
| Образование | |
| Известный | |
| Супруг | Джилл Пим |
| Дети | 3 |
| Награды | Премия Тьюринга (1980) Премия Мемориала Гарри Х. Гуда (1981) Медаль Фарадея (1985 г.) Премия компьютерного пионера (1990) Киотская премия (2000) Медаль IEEE Джона фон Неймана (2011 г.) Королевская медаль (2023 г.) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | |
| Докторанты | |
| Веб-сайт | www |
Сэр Чарльз Энтони Ричард Хоар, FRS FREng , [3] также известный как Тони Хоар или по его инициалам CAR Hoare ( / 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] и именно здесь он начал компьютерное программирование , обучаясь Autocode на Ferranti Mercury у Лесли Фокса . [15] Затем он поступил в Московский государственный университет в качестве студента по обмену Британского Совета . [13] где он изучал машинный перевод у Андрея Колмогорова . [14]
Исследования и карьера
[ редактировать ]В 1960 году Хоар покинул Советский Союз и начал работать в компании Elliott Brothers Ltd. [13] небольшая фирма по производству компьютеров, расположенная в Лондоне. Там он реализовал язык АЛГОЛ 60 и начал разработку основных алгоритмов . [16] [17]
Он участвовал в разработке международных стандартов в области программирования и информатики, будучи членом Международной федерации обработки информации (IFIP) рабочей группы 2.1 по алгоритмическим языкам и исчислениям. [18] который определил , поддерживает и поддерживает языки АЛГОЛ 60 и АЛГОЛ 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]
Десять лет назад исследователи формальных методов (и я ошибался среди них больше всех) предсказывали, что мир программирования с благодарностью примет любую помощь, обещанную формализацией для решения проблем надежности, которые возникают, когда программы становятся большими и более критичными к безопасности. Программы теперь стали очень большими и очень важными – далеко за пределами того масштаба, который можно легко решить формальными методами. Было много проблем и неудач, но они почти всегда были связаны с неадекватным анализом требований или неадекватным управленческим контролем. Оказалось, что мир не сильно страдает от той проблемы, которую изначально намеревалось решить наше исследование.
В честь Хоара была написана памятная статья в честь его 90-летия. [30]
Награды и почести
[ редактировать ]- Премия ACM по системам программирования и языкам (1973) [31] за статью «Доказательство корректности представления данных» [32]
- Почетный член Британского компьютерного общества (1978).
- Премия Тьюринга за «фундаментальный вклад в определение и разработку языков программирования ». Награда была вручена ему на ежегодной конференции ACM в Нэшвилле, штат Теннесси , 27 октября 1980 года Уолтером Карлсоном, председателем комитета по наградам. Стенограмма выступления Хоара [33] была опубликована в журнале Communications of the ACM . [16]
- Премия Мемориала Гарри Х. Гуда (1981)
- Член Королевского общества (1982). [34]
- Почетный доктор наук Королевского университета в Белфасте (1987).
- Почетный доктор наук Университета Бата (1993). [35]
- Почетный член Колледжа Келлог, Оксфорд (1998). [36]
- Удостоен рыцарского звания за заслуги перед образованием и информатикой ( 2000 ).
- Киотская премия в области информатики (2000 г.)
- Парень [3] Королевской инженерной академии [3] (2005)
- Член Национальной инженерной академии (2006 г.) за фундаментальный вклад в информатику в области алгоритмов, операционных систем и языков программирования.
- Музей истории компьютеров (CHM) в Маунтин-Вью, Калифорния. Сотрудник музея «за разработку алгоритма быстрой сортировки и за пожизненный вклад в теорию языков программирования » (2006 г.). [37]
- Почетный доктор Университета Хериот-Ватт (2007 г.). [38]
- Почетный доктор наук кафедры информатики Афинского университета экономики и бизнеса (AUEB) (2007 г.).
- Премия Фридриха Л. Бауэра, Мюнхенский технический университет (2007 г.) [39]
- SIGPLAN за достижения в области языков программирования (2011 г.) Премия [40]
- Медаль IEEE Джона фон Неймана (2011 г.) [41]
- Почетный доктор Варшавского университета (2012 г.). [42]
- Почетный доктор Мадридского университета Комплутенсе (2013 г.). [43]
- Королевская медаль Королевского общества (2023 г.) [44]
Личная жизнь
[ редактировать ]В 1962 году Хоар женился на Джилл Пим , члене его исследовательской группы. [45]
Книги
[ редактировать ]- Даль, О.-Дж. ; Дейкстра, EW ; Хоар, ЦАР (1972). Структурное программирование . Академическая пресса . ISBN 978-0-12-200550-3 . OCLC 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 .
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Тони Хоар в проекте «Математическая генеалогия»
- ^ Сампайо, Аугусто (1993). Алгебраический подход к проектированию компилятора . bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. ОСЛК 854973008 . EThOS uk.bl.ethos.334903 . [ постоянная мертвая ссылка ]
- ^ Перейти обратно: а б с «Список коллег» . Архивировано из оригинала 8 июня 2016 года . Проверено 17 октября 2014 г.
- ^ Джонс, Клифф Б .; Мисра, Джаядев , ред. (2021). Теории программирования: жизнь и творчество Тони Хоара . Книги АСМ. Том. 39. Нью-Йорк, штат Нью-Йорк: Ассоциация вычислительной техники . дои : 10.1145/3477355 . ISBN 978-1-4503-8728-6 . S2CID 238251696 .
- ^ «Сэр Энтони Хоар» . Музей истории компьютеров. Архивировано из оригинала 3 апреля 2015 года . Проверено 22 апреля 2015 г.
- ^ Тони Хоара Страница профиля автора ACM. в цифровой библиотеке
- ^ CAR Hoare на DBLP библиографическом сервере
- ^ Публикации Тони Хоара, индексированные Microsoft Academic.
- ^ Шустек, Л. (2009). «Интервью: Интервью с CAR Hoare». Коммуникации АКМ . 52 (3): 38–41. дои : 10.1145/1467247.1467261 . S2CID 1868477 .
- ^ Хоар, ЦАР (1974). «Мониторы: концепция структурирования операционной системы» . Коммуникации АКМ . 17 (10): 549–557. дои : 10.1145/355620.361161 . S2CID 1005769 .
- ^ Боуэн, Джонатан (8 сентября 2006 г.). Устная история сэра Энтони Хоара . Хоар (сэр Энтони, ЦАР) Устная история, CHM Справочный номер: X3698.2007 (Отчет). Музей истории компьютеров . Архивировано из оригинала 3 июля 2013 года . Проверено 18 апреля 2014 г.
{{cite report}}: CS1 maint: bot: исходный статус URL неизвестен ( ссылка ) - ^ Лин, Томас (2011). «Профессор сэр Тони Хоар» (PDF) . Истории национальной жизни: устная история британской науки . Великобритания: Британская библиотека . Архивировано (PDF) из оригинала 15 сентября 2014 года . Проверено 15 сентября 2014 г.
- ^ Перейти обратно: а б с д и Левенс, РГК, изд. (1964). Реестр Мертон-колледжа, 1900–1964 гг . Оксфорд: Бэзил Блэквелл. п. 434.
- ^ Перейти обратно: а б Хоар, Тони (осень 2009 г.). «Мои первые дни в Эллиоттсе» . Воскресение (48). ISSN 0958-7403 . Проверено 27 мая 2014 г.
- ^ Роско, Билл ; Джонс, Клифф (2010). «1 Понимание, вдохновение и сотрудничество» (PDF) . Размышления о работе К.А.Р. Хоара . Спрингер . ISBN 978-1-84882-911-4 . Архивировано (PDF) из оригинала 9 октября 2022 года.
- ^ Перейти обратно: а б Хоар, ЦАР (февраль 1981 г.). «Старая одежда императора» . Коммуникации АКМ . 24 (2): 5–83. дои : 10.1145/358549.358561 . ISSN 0001-0782 .
- ^ Хоар, ЦАР (1981). «Старая одежда императора» . Коммуникации АКМ . 24 (2): 75–83. дои : 10.1145/358549.358561 .
- ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 7 октября 2020 г.
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 7 октября 2020 г.
- ^ «Профессор вычислительной техники Кристофера Стрейчи» . Кафедра компьютерных наук Оксфордского университета . 5 ноября 2021 г. Проверено 18 января 2024 г.
- ^ Домашняя страница Microsoft - краткая биография
- ^ Устное историческое интервью с КАР Хоаром в Институте Чарльза Бэббиджа , Университет Миннесоты, Миннеаполис.
- ^ Классическая статья о мониторах - Оригинальная статья о мониторах.
- ^ «Предисловие к лекции на премию ACM Тьюринга» (PDF) . Архивировано из оригинала (PDF) 19 апреля 2012 года.
- ^ «К. Энтони (Тони) Р. Хоар» . Архивировано из оригинала 1 июля 2012 года.
- ^ Хоар, Тони (25 августа 2009 г.). «Нулевые ссылки: ошибка на миллиард долларов» . InfoQ.com.
- ^ «Нуль: ошибка на миллиард долларов» . hashnode.com. 3 сентября 2020 г.
- ^ Хоар, Тони (2009). «Нулевые ссылки: ошибка на миллиард долларов» (тезисы презентации). QCon Лондон. Архивировано из оригинала 28 июня 2009 года.
- ^ Хоар, ЦАР (1996). «Унификация теорий: вызов информатике». Избранные статьи 11-го семинара по спецификации абстрактных типов данных, совместного с 8-м семинаром COMPASS по последним тенденциям в спецификации типов данных . Спрингер-Верлаг. стр. 49–57. ISBN 3-540-61629-2 .
- ^ Цзифэн, Хэ ; Джонс, Клифф ; Роско, Билл ; Стой, Джо ; Суфрин, Бернар ; Боуэн, Джонатан П. (2 июля 2024 г.). Денвир, Тим (ред.). «Тони Хоар @ 90» (PDF) . FACS FACTS (журнальная статья). Группа специалистов по формальным аспектам информатики ( FACS ). стр. 5–42. ISSN 0950-1231 . Архивировано (PDF) из оригинала 10 июля 2024 года . Проверено 10 июля 2024 г.
- ^ «Награда за доклад по системам и языкам программирования ACM» . Ассоциация вычислительной техники. 1973 год . Проверено 7 июля 2022 г.
- ^ Хоар, ЦАР (1972). «Доказательство корректности представления данных» . Коммуникации АКМ . 1 (4): 271–281. дои : 10.1007/BF00289507 . S2CID 34414224 .
- ^ Хоар, Чарльз Энтони Ричард (27 октября 1980 г.). «Старая одежда императора: лекция на Премии Тьюринга ACM 1980 года» (PDF) . Ассоциация вычислительной техники. Архивировано из оригинала (PDF) 19 апреля 2012 года.
- ^ Анон (1982). «Энтони Хоар ФРС» . royalsociety.org . Лондон: Королевское общество .
- ^ «Почетные выпускники с 1989 года по настоящее время» . Bath.ac.uk. Университет Бата . Архивировано из оригинала 17 июля 2010 года . Проверено 18 февраля 2012 г.
- ^ «(Чарльз) Энтони Ричард (Тони) Хоар Биография» . Архивировано из оригинала 17 июля 2014 года.
- ^ «Сэр Энтони Хоар: научный сотрудник 2006 года» . Архивировано из оригинала 3 апреля 2015 года . Проверено 8 марта 2020 г. «Сэр Энтони Хоар | Музей истории компьютеров» . Архивировано из оригинала 3 апреля 2015 года . Проверено 22 апреля 2015 г.
- ^ «Годовой обзор 2007: Обзор директора» . www1.hw.ac.uk. Архивировано из оригинала 5 марта 2016 года . Проверено 29 марта 2016 г.
- ^ «Церемония награждения на церемонии «40 лет компьютерных наук в Мюнхене»: Мюнхенский технический университет вручает премию Фридриха Л. Бауэра Тони Хоару» (на немецком языке). Технический университет Мюнхена . 26 октября 2007 года. Архивировано из оригинала 10 июня 2016 года . Проверено 14 мая 2016 г.
- ^ «Награда за достижения в области языков программирования 2011» . АКМ . Проверено 28 августа 2012 г.
- ^ «Обладатели медали Джона фон Неймана IEEE» (PDF) . IEEE. Архивировано из оригинала (PDF) 9 октября 2022 года . Проверено 26 февраля 2011 г.
- ^ Кшиштоф, Дикс (15 ноября 2012 г.). «Почетный доктор профессора Хоара Варшавского университета» (на польском языке). Варшавский университет . Архивировано из оригинала 26 августа . Получено 26 ноября.
- ^ «Учёные-компьютерщики Тони Хоар и Матео Валеро сегодня будут награждены Комплутенсе почётными докторами» (на испанском языке). 10 мая 2013 года . Проверено 10 мая 2013 г.
- ^ Королевская медаль 2023 г.
- ^ Джонс, Клифф ; Роско, AW ; Вуд, Кеннет Р., ред. (2010). Размышления о работе К.А.Р. Хоара . Спрингер Наука. п. 3 . Бибкод : 2010rwch.book.....R .
В эту статью включен текст , доступный по лицензии CC BY 4.0 .
Внешние ссылки
[ редактировать ]
Алгол -программирование |
|---|
- 1934 рождения
- Живые люди
- Люди из Коломбо
- Люди, получившие образование в Школе Дракона
- Люди, получившие образование в Королевской школе в Кентербери.
- Выпускники Мертон-колледжа Оксфорда
- Академики Королевского университета Белфаста
- Британские ученые-компьютерщики
- Члены Британского компьютерного общества
- Члены Королевской инженерной академии
- Члены Королевского общества
- Иностранные сотрудники Национальной академии наук
- Члены Колледжа Вольфсона, Оксфорд
- Формальные методы люди
- История вычислений в Соединенном Королевстве
- Рыцари Бакалавр
- Лауреаты Киотского протокола в области передовых технологий
- Члены кафедры компьютерных наук Оксфордского университета
- Сотрудники Microsoft
- Выпускники МГУ
- Исследователи языков программирования
- Лауреаты премии Тьюринга
- Писатели по информатике
- Британские эмигранты в Шри-Ланке
- Британские эмигранты в Советском Союзе
- Стипендиаты Мертон-колледжа, Оксфорд