Тоні Гоар
| Чарлз Ентоні Річард Гоар | |
| Charles Antony Richard Hoare | |
 |
|
| Народився | 11 січня 1934 (79 років) Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка |
|---|---|
| Громадянство | Велика Британія |
| Галузь наукових інтересів | інформатика |
| Alma mater | Оксфордський університет, МГУ |
| Відомий завдяки: | алгоритм швидкого сортування Логіка Хоара |
| Нагороди | Премія Тюрінга |
Сер Чарлз Ентоні Річард Гоар (англ. Charles Antony Richard Hoare або Tony Hoare або C.A.R. Hoare, народився 11 січня 1934, Коломбо, Цейлон, Британська імперія, сьогодні Шрі-Ланка) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш відомий як розробник алгоритму «швидкого сортування» (англ. «quick sort»).
Інші відомі результати його праці: мова Z специфікацій та паралельна модель взаємодії послідовних процесів (CSP, Communicating Sequential Process). Серед його досягнень — розробка логіки Хоара, наукової основи для конструювання коректних програм, яка використовується для визначення та розробки мов програмування. Хоар написав низку праць зі створення специфікацій, проектування, реалізації та супроводу програм, що висвітлюють важливість наукових досліджень для збільшення продуктивності комп'ютерів та збільшення надійності програмного забезпечення.
Зміст |
Біографія[ред.]
Народився в Коломбо в Шрі-Ланці. Отримав ступінь бакалавра з класичних мов в Оксфордському університеті у 1956 році. Проходив службу у ВМС Великої Британії у 1956—1958 роках. Вивчивши російську мову, навчався комп'ютерного перекладу під керівництвом А. Н. Колмогорова в Московському Державному Університеті. У 1960 він залишив СРСР через політичну кризу (знищення розвідувального літака У-2) та почав працювати в невеликій компанії з виробництва комп'ютерів Elliot Brothers, де працював над реалізацією мови програмування ALGOL60. Тоді ж розпочав займатися розробкою алгоритмів.
1968 року Гоар став професором інформатики та обчислювальної техніки в Королівському Університеті Белфаста
1977 повернувся в Оксфорд як професор з обчислювальної техніки, щоб взяти під керівництво дослідницьку групу Programming Research Group, до задач якої входили зміцнення промислових, академічних на державних структур, що працюють в індустрії інформаційних технологій. Тема його досліджень в Оксфорді: коректність програмних специфікацій, проектування та розробка критичних та некритичних систем.
1999 року вийшов на пенсію у званні почесного професора та перейшов на посаду дослідника в Microsoft Research в Кембриджі, де й працює сьогодні.
1980 Гоар отримав Премію Тюринґа за «видатні досягнення у визначенні та дизайні мов програмування».[1]
У 2000 році Чарлз Ентоні Річард Гоар був відзначений лицарським званням; того ж року - Премією Кіото у галузі освіти та комп'ютерних наук.
Примітки[ред.]
- ↑ http://awards.acm.org/citation.cfm?id=4622167&srt=year&year=1980&aw=140&ao=AMTURING ACM Award Citation / C.Antony R. Hoare
Бібліографія[ред.]
- 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 Оксфордський університе. Хоар — почесний професер інформатики
- http://www.braithwaite-lee.com/opinions/p75-hoare.pdf Стенограма «т'юрінговьскої лекції» на врученні Премії Т'юринга у 1980 р.
- http://www.usingcsp.com/ Книга о CSP
