Сер Чарлз Ентоні Річард Гоар ( або Tony Hoare або C.A.R. Hoare; 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка — 5 березня 2026) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш знаний як розробник алгоритму «швидкого сортування» (англ. «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 Гоар отримав Премію Тюринґа за «видатні досягнення у визначенні та дизайні мов програмування».http://awards.acm.org/citation.cfm?id=4622167&srt=year&year=1980&aw=140&ao=AMTURING ACM Award Citation / C.Antony R. Hoare
У 2000 році Чарлз Ентоні Річард Гоар був відзначений лицарським званням; того ж року — Премією Кіото у галузі освіти та комп'ютерних наук.
У 2011 отримав Медаль Джона фон Неймана.
Помер 5 березня 2026 року у віці 92 років.
Наукові досягнення
Зізнання Виступаючи на конференції QCon London в 2009, він вибачився за винайдення нульового вказівника:
Протягом багатьох років під його керівництвом в Оксфорді працював над мовами формальної специфікації, такими як CSP та Z. Але індустрія програмного забезпечення не підхопила цю ідею як очікувалося, тому в 1995 Гоар переглянув початкові припущення:
Примітки
Бібліографія
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/ Microsoft Research — коротка біографія http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html Оксфордський університет. Гоар — почесний професор інформатики https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Стенограма «т'юрінговської лекції» на врученні Премії Т'юринга у 1980 р. http://www.usingcsp.com/ Книга про CSP