Тони Хоар - Tony Hoare
сэр Тони Хоар | |
---|---|
Тони Хоар в 2011 году | |
Родившийся | Чарльз Энтони Ричард Хоар 11 января 1934 г. |
Другие имена | К. А. Р. Хоар |
Альма-матер | |
Известен | |
Награды |
|
Научная карьера | |
Поля | Информатика |
Учреждения | |
Докторанты | |
Интернет сайт | www |
Сэр Чарльз Энтони Ричард Хоар ФРС 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]
Награды и почести
- Заслуженный член Британского компьютерного общества (1978)
- Премия ACM Тьюринга за "фундаментальный вклад в определение и разработку языки программирования Награда была вручена ему на ежегодной конференции ACM в г. Нашвилл, Теннесси 27 октября 1980 года - Уолтер Карлсон, председатель комитета по наградам. Стенограмма речи Хора[29] был опубликован в Коммуникации ACM.[16]
- Премия памяти Гарри Х. Гуда (1981)
- Член Королевского общества (1982)[30]
- Почетный доктор наук Королевский университет Белфаста (1987)
- Почетный доктор наук, от Университет Бата (1993)[31]
- Почетный член Kellogg College, Оксфорд (1998)[32]
- Рыцари за услуги в сфере образования и Информатика (2000)
- Киотская премия за Информационная наука (2000)
- Парень[3] из Королевская инженерная академия[3] (2005)
- Музей истории компьютеров (CHM) в Маунтин-Вью, Калифорния Сотрудник музея »за развитие Быстрая сортировка алгоритма и за пожизненный вклад в теорию языки программирования " (2006)[33]
- Почетный доктор от Университет Хериот-Ватт (2007) [34]
- Почетный доктор наук кафедры информатики Афинский университет экономики и бизнеса (AUEB) (2007)
- Премия Фридриха Л. Бауэра, Технический университет Мюнхена (2007)[35]
- СИГПЛАН Премия за достижения в области языков программирования (2011)[36]
- IEEE Медаль Джона фон Неймана (2011)[37]
- Почетный доктор, Варшавский университет (2012)[38]
- Почетный доктор, Мадридский университет Комплутенсе (2013)[39]
Рекомендации
- ^ а б Тони Хоар на Проект "Математическая генеалогия"
- ^ Сампайо, Августо (1993). Алгебраический подход к проектированию компилятора. bodleian.ox.ac.uk (Докторская диссертация). Оксфордский университет. OCLC 854973008. EThOS uk.bl.ethos.334903.
- ^ а б c «Список стипендиатов».
- ^ «Дни рождения 10 января». Времена. Лондон. 10 января 2009 г.. Получено 9 января 2010.
- ^ "Сэр Энтони Хоар". Музей истории компьютеров. Архивировано из оригинал 3 апреля 2015 г.. Получено 22 апреля 2015.
- ^ Тони Хоар страница профиля автора на ACM Цифровая библиотека
- ^ К. А. Р. Хоар в DBLP Сервер библиографии
- ^ Список публикаций из Microsoft Academic
- ^ Шустек, Л. (2009). «Интервью: интервью с C.A.R. Hoare». Коммуникации ACM. 52 (3): 38–41. Дои:10.1145/1467247.1467261. S2CID 1868477.
- ^ Хоар, К. А. Р. (1974). «Мониторы: концепция структурирования операционной системы». Коммуникации ACM. 17 (10): 549–557. Дои:10.1145/355620.361161. S2CID 1005769.
- ^ Боуэн, Джонатан (8 сентября 2006 г.). Устная история сэра Энтони Хора (PDF). Хоар (сэр Энтони, C.A.R.) Устная история, CHM Ссылочный номер: X3698.2007 (Отчет). Музей истории компьютеров. Архивировано из оригинал на 2013 год. Получено 18 апреля 2014.
- ^ Lean, Томас (2011). "Профессор сэр Тони Хоар" (PDF). Национальные истории из жизни: устная история британской науки. ВЕЛИКОБРИТАНИЯ: Британская библиотека. Получено 15 сентября 2014.
- ^ а б c d е Левенс, R.G.C., изд. (1964). Регистр Мертонского колледжа 1900-1964. Оксфорд: Бэзил Блэквелл. п. 434.
- ^ а б Хоар, Тони (осень 2009 г.). "Мои первые дни в Эллиотсе". Воскрешение (48). ISSN 0958-7403. Получено 27 мая 2014.
- ^ Роско, Билл; Джонс, Клифф (2010). «1 Проницательность, вдохновение и сотрудничество» (PDF). Размышления о работе C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4.
- ^ а б Хоар, C.A.R. (Февраль 1981 г.). "Старая одежда императора". Коммуникации ACM. 24 (2): 5–83. Дои:10.1145/358549.358561. ISSN 0001-0782.
- ^ Хоар, К. А. Р. (1981). "Старая одежда императора". Коммуникации ACM. 24 (2): 75–83. Дои:10.1145/358549.358561.
- ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 7 октября 2020.
- ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 7 октября 2020.
- ^ Домашняя страница Microsoft - краткая биография
- ^ Устное историческое интервью с К.А.Р. Хором в Институт Чарльза Бэббиджа, Университет Миннесоты, Миннеаполис.
- ^ Классическая статья о мониторах - Оригинальная статья о мониторах
- ^ «Предисловие к лекции ACM Turing Award» (PDF). Архивировано из оригинал (PDF) 19 апреля 2012 г.
- ^ "К. Энтони (Тони) Р. Хоар". Архивировано из оригинал 1 июля 2012 г.
- ^ Хоар, Тони (25 августа 2009 г.). «Нулевые ссылки: ошибка в миллиард долларов». InfoQ.com.
- ^ Хоар, Тони (2009). «Нулевые ссылки: ошибка в миллиард долларов» (Аннотация презентации). QCon London. В архиве из оригинала 28 июня 2009 г.
- ^ Хоар, К. А. Р. (1996). «Объединение теорий: вызов вычислительной науке». Избранные доклады 11-го семинара по спецификации абстрактных типов данных совместно с 8-м семинаром COMPASS по последним тенденциям в спецификации типов данных. Springer-Verlag. С. 49–57. ISBN 3-540-61629-2.
- ^ Джонс, Клифф; Роско, А.В.; Вуд, Кеннет Р., ред. (2010). Размышления о работе C.A.R. Hoare. Springer Science. п.3. Bibcode:2010rwch.book ..... R.
- ^ Хор, Чарльз Энтони Ричард (27 октября 1980 г.). «Старая одежда императора: лекция 1980 года о премии ACM Turing» (PDF). Ассоциация вычислительной техники. Архивировано из оригинал (PDF) 19 апреля 2012 г.
- ^ Анон (1982). "Энтони Хоар ФРС". royalsociety.org. Лондон: Королевское общество.
- ^ «Почетные выпускники с 1989 г. по настоящее время». Bath.ac.uk. Университет Бата. Получено 18 февраля 2012.
- ^ (Чарльз) Энтони Ричард (Тони) Хоар биография
- ^ "Сэр Энтони Хоар: сотрудник 2006 г.". Архивировано из оригинал 3 апреля 2015 г.. Получено 8 марта 2020.«Архивная копия». Архивировано из оригинал 3 апреля 2015 г.. Получено 22 апреля 2015.CS1 maint: заархивированная копия как заголовок (связь)
- ^ «Годовой отчет за 2007 год: обзор директора». www1.hw.ac.uk. Архивировано из оригинал 5 марта 2016 г.. Получено 29 марта 2016.
- ^ "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.
- ^ "Премия за достижения в области языков программирования 2011". ACM. Получено 28 августа 2012.
- ^ «Получатели медали IEEE имени Джона фон Неймана» (PDF). IEEE. Получено 26 февраля 2011.
- ^ Кшиштоф, Дикс (15 ноября 2012 г.). "Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego" (по польски). Варшавский университет. Архивировано из оригинал 26 августа 2014 г.. Получено 26 ноября 2012.
- ^ "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 лицензия.