Тоні Гоар
З Вікіпедії, безкоштовно encyclopedia
Сер Чарлз Ентоні Річард Гоар (англ. Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare; нар. 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш відомий як розробник алгоритму «швидкого сортування» (англ. «quick sort»).
Чарлз Ентоні Річард Гоар | |
---|---|
Charles Antony Richard Hoare | |
Народився |
11 січня 1934(1934-01-11) (90 років) Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка |
Місце проживання | Кембридж |
Країна | Велика Британія |
Діяльність | інформатик, інженер, програміст, письменник, викладач університету |
Alma mater | Оксфордський університет, МГУ |
Галузь | інформатика |
Заклад |
Microsoft Університет Оксфорда Королівський університет Белфаста |
Науковий керівник | Leslie Foxd[1] |
Аспіранти, докторанти |
Білл Роско Cliff Jonesd Augusto Sampaiod William James Stewartd[1] Stephen D. Brookesd[1] David Andrew Naumannd[1] Andrew Philip Blackd[1] Peter Lauerd[1] Jeremy Jacobd[1] Masud Malikd[1] John Elderd[1] Jim (Wolfgang) Kaubischd[1] Richard Kennawayd[1] T. Yung Kongd[1] Geraint Jonesd[1] Christopher Dollind[1] Alex Terueld[1] Bryan Toddd[1] Stephen Paged[1] Clare Martind[1] Ken Woodd[1] Stephen Briend[1] Paul Rudind[1] |
Членство |
Лондонське королівське товариство Національна академія дей-Лінчей Європейська академія[2] Баварська академія наук Національна академія наук США UK Computing Research Committeed[3] |
Відомий завдяки: |
алгоритм швидкого сортування |
Батько | Henry Samuel Malortie Hoared[4] |
Мати | Marjorie Francis Villiersd[4] |
У шлюбі з | Jill Pymd |
Нагороди | |
Особ. сторінка | cs.ox.ac.uk/people/tony.hoare/ |
Тоні Гоар у Вікісховищі |
Інші відомі результати його праці: мова Z специфікацій та паралельна модель взаємодії послідовних процесів (CSP, Communicating Sequential Processes). Серед його досягнень — розробка логіки Гоара, наукової основи для конструювання коректних програм, яка використовується для визначення та розробки мов програмування. Гоар написав низку праць зі створення специфікацій, проєктування, реалізації та супроводу програм, що висвітлюють важливість наукових досліджень для збільшення продуктивності комп'ютерів та збільшення надійності програмного забезпечення.