Тоні Гоар

Чарлз Ентоні Річард Гоар
Charles Antony Richard Hoare
Народився	11 січня 1934(1934-01-11) (90 років) Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка
Місце проживання	Кембридж
Країна	Велика Британія
Діяльність	інформатик, інженер, програміст, письменник, викладач університету
Alma mater	Оксфордський університет, МГУ
Галузь	інформатика
Заклад	Microsoft Університет Оксфорда Королівський університет Белфаста
Науковий керівник	Leslie Fox^d[1] і Колмогоров Андрій Миколайович[1]
Аспіранти, докторанти	Білл Роско Cliff Jones^d Augusto Sampaio^d William James Stewart^d[1] Stephen D. Brookes^d[1] David Andrew Naumann^d[1] Andrew Philip Black^d[1] Peter Lauer^d[1] Jeremy Jacob^d[1] Masud Malik^d[1] John Elder^d[1] Jim (Wolfgang) Kaubisch^d[1] Richard Kennaway^d[1] T. Yung Kong^d[1] Geraint Jones^d[1] Christopher Dollin^d[1] Alex Teruel^d[1] Bryan Todd^d[1] Stephen Page^d[1] Clare Martin^d[1] Ken Wood^d[1] Stephen Brien^d[1] Paul Rudin^d[1]
Членство	Лондонське королівське товариство Національна академія дей-Лінчей Європейська академія[2] Баварська академія наук Національна академія наук США UK Computing Research Committee^d[3] Association for Computing Machinery[4]
Відомий завдяки:	алгоритм швидкого сортування Логіка Гоара
Батько	Henry Samuel Malortie Hoare^d[5]
Мати	Marjorie Francis Villiers^d[5]
У шлюбі з	Jill Pym^d
Нагороди	член Лондонського королівського товариства премія Тюрінга (1980) медаль Джона фон Неймана (2011) медаль Фарадея (1985) Friedrich L. Bauer Prize^d (2007) CHM Fellow Awards Премія Кіото в галузі передових технологій (2000) Нагорода «Піонер комп'ютерної галузі» (1990) Programming Languages Achievement Award^d (2011) меморіальна премія Гаррі Ґуда (1981) Почесний доктор Мадридського університету Комплутенсе^d (2013) Член Королівської інженерної академії Британії^[d] Fellow of the British Computer Society^d Дійсний член ACM^d (2020)
Особ. сторінка	cs.ox.ac.uk/people/tony.hoare/
Тоні Гоар у Вікісховищі

Сер Чарлз Ентоні Річард Гоар (англ. Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare; нар. 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш знаний як розробник алгоритму «швидкого сортування» (англ. «quick sort»).

Інші відомі результати його праці: мова Z специфікацій та паралельна модель взаємодії послідовних процесів (CSP, Communicating Sequential Processes). Серед його досягнень — розробка логіки Гоара, наукової основи для конструювання коректних програм, яку використовують для визначення та розробки мов програмування. Гоар написав низку праць зі створення специфікацій, проєктування, реалізації та супроводу програм, що висвітлюють важливість наукових досліджень для збільшення продуктивності комп'ютерів та збільшення надійності програмного забезпечення.

Біографія

Народився в Коломбо в Шрі-Ланці. Здобув ступінь бакалавра з класичних мов в Оксфордському університеті у 1956 році. Проходив службу у ВМС Великої Британії у 1956—1958 роках. Вивчивши російську мову, навчався комп'ютерного перекладу під керівництвом А. Н. Колмогорова в Московському Державному Університеті. У 1960 він залишив СРСР через політичну кризу (знищення розвідувального літака U-2) та почав працювати в невеликій компанії з виробництва комп'ютерів Elliot Brothers, де працював над реалізацією мови програмування ALGOL60. Тоді ж розпочав займатися розробкою алгоритмів.

1968 року Гоар став професором інформатики та обчислювальної техніки в Королівському Університеті Белфаста

1977 повернувся в Оксфорд як професор з обчислювальної техніки, щоб взяти під керівництво дослідницьку групу Programming Research Group, до задач якої входили зміцнення промислових, академічних та державних структур, що працюють в індустрії інформаційних технологій. Тема його досліджень в Оксфорді: коректність програмних специфікацій, проєктування та розробка критичних та некритичних систем.

1999 року вийшов на пенсію у званні почесного професора та перейшов на посаду дослідника в Microsoft Research в Кембриджі, де й працює сьогодні.

1980 Гоар отримав Премію Тюринґа за «видатні досягнення у визначенні та дизайні мов програмування».^[6]

У 2000 році Чарлз Ентоні Річард Гоар був відзначений лицарським званням; того ж року — Премією Кіото у галузі освіти та комп'ютерних наук.

У 2011 отримав Медаль Джона фон Неймана.

Наукові досягнення

Зізнання

Виступаючи на конференції QCon London [Архівовано 27 лютого 2018 у Wayback Machine.] в 2009, він вибачився за винайдення нульового вказівника:^[7]

Я називаю це своєю помилкою на мільярд доларів. Це було винайдення нульового вказівника в 1965. В той час я розробляв першу вичерпну систему типів для посилань в об'єктно-орієнтованій мові (ALGOL W). На меті в мене було зробити, щоб всі використання посилань мають бути цілком безпечні, з перевіркою, що виконується компілятором автоматично. Але я не зміг втриматись від спокуси додати нульовий вказівник, просто тому, що його було легко реалізувати. Це призвело до незліченних помилок, вразливостей і відмов систем, які напевне спричинили мільярдні збитки й шкоду за останні сорок років. Оригінальний текст (англ.) I call it my billion-dollar mistake. It was the invention of the null reference in 1965. At that time, I was designing the first comprehensive type system for references in an object oriented language (ALGOL W). My goal was to ensure that all use of references should be absolutely safe, with checking performed automatically by the compiler. But I couldn't resist the temptation to put in a null reference, simply because it was so easy to implement. This has led to innumerable errors, vulnerabilities, and system crashes, which have probably caused a billion dollars of pain and damage in the last forty years.

Протягом багатьох років під його керівництвом відділ^[en] в Оксфорді працював над мовами формальної специфікації, такими як CSP та Z. Але індустрія програмного забезпечення не підхопила цю ідею як очікувалося, тому в 1995 Гоар переглянув початкові припущення:^[8]

Десятиліття тому, дослідники формальних методів (і я серед них помилявся найбільше) передбачали, що світ програмування з вдячністю прийме будь-яку допомогу, яку надасть формалізація у розв'язанні проблем надійності, яка виникає, коли програми стають великими й критичнішими щодо безпеки. Зараз програми стали дуже великими й дуже критичними - далеко за масштабами, з якими можна комфортно працювати за допомогою формальних методів. Було багато проблем і невдач, але їх завжди приписували недостатньому аналізу вимог чи недостатньому контролю з боку менеджменту. Виявилось, що світ ще не достатньо страждає від проблем, які початково намагалися вирішити наші дослідження. Оригінальний текст (англ.) Ten years ago, researchers into formal methods (and I was the most mistaken among them) predicted that the programming world would embrace with gratitude every assistance promised by formalisation to solve the problems of reliability that arise when programs get large and more safety-critical. Programs have now got very large and very critical – well beyond the scale which can be comfortably tackled by formal methods. There have been many problems and failures, but these have nearly always been attributable to inadequate analysis of requirements or inadequate management control. It has turned out that the world just does not suffer significantly from the kind of problem that our research was originally intended to solve.

Примітки

1. Математичний генеалогічний проєкт — 1997.
   d:Track:Q829984
2. https://www.ae-info.org/ae/User/Hoare_Charles
3. https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/
4. https://www.acm.org/media-center/2021/january/fellows-2020
5. Lundy D. R. The Peerage
   d:Track:Q67129259d:Track:Q21401824
6. http://awards.acm.org/citation.cfm?id=4622167&srt=year&year=1980&aw=140&ao=AMTURING [Архівовано 1 липня 2012 у Archive.is] ACM Award Citation / C.Antony R. Hoare
7. Hoare, Tony (25 серпня 2009). Null References: The Billion Dollar Mistake. InfoQ.com. Архів оригіналу за 28 серпня 2009. Процитовано 6 березня 2018.
8. Hoare, C. A. R. (1996). Unification of Theories: A Challenge for Computing Science. Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification. Springer-Verlag. с. 49—57. ISBN 3-540-61629-2.

Бібліографія

• O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare, Structured Programming. Academic Press, 1972. ISBN 0-12-200550-3.
• C. A. R. Hoare, Communicating Sequential Processes. Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback.
• C. A. R. Hoare and M. J. C. Gordon, Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science, 1992. ISBN 0-13-572405-8.
• C. A. R. Hoare and He Jifeng, Unifying Theories of Programming. Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8.

Посилання

• http://research.microsoft.com/users/thoare/ [Архівовано 9 грудня 2008 у Wayback Machine.] Microsoft Research — коротка біографія
• http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html [Архівовано 8 серпня 2007 у Wayback Machine.] Оксфордський університет. Гоар — почесний професор інформатики
• https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Стенограма «т'юрінговської лекції» на врученні Премії Т'юринга у 1980 р.
• http://www.usingcsp.com/ [Архівовано 1 лютого 2021 у Wayback Machine.] Книга про CSP