Про знаменитості
Чарльз Ентоні Річард Хоар: біографія
-
англійський учений, що спеціалізується в області інформатики та обчислювальної техніки
Інші відомі результати його роботи: мова Z специфікацій і паралельна модель взаємодії послідовних процесів (CSP, Communicating Sequential Process). В числі його заслуг - розробка логіки Хоара (англ.Hoare Logic), наукової основи для конструювання коректних програм, використовуваної для визначення та розробки мов програмування. Хоар створив ряд праць по створенню специфікацій, проектування, реалізації та супроводу програм, що показують важливість наукових результатів для збільшення продуктивності комп'ютерів і підвищення надійності програмного забезпечення.
Народився в Коломбо в Шрі-Ланці. Отримав ступінь бакалавра з класичних мов в Університеті Оксфорда (Merton College)) в 1956 році. Проходив службу у ВМС Великобританії в 1956-1958 рр.. Вивчивши російську мову, він навчався комп'ютерному перекладу під керівництвом А. Н. Колмогорова в Московському державному університеті. У 1960, через політичної кризи, пов'язаної зі знищенням розвідувального літака У-2, він покинув Радянський Союз і почав працювати в невеликій компанії з виробництва комп'ютерів Elliott Brothers, де займався реалізацією мови ALGOL60. Там же він почав займатися розробкою алгоритмів.
У 1968 році став професором інформатики та обчислювальної техніки в Королівському Університеті Белфаста (Queen's University, Belfast).
У 1977 році повернувся в Оксфорд, як професор обчислювальної техніки, щоб очолити дослідницьку групу Programming Research Group, в завдання якої входить зміцнення зв'язків промислових, академічних і державних структур, що працюють в галузі ІТ-індустрії. Тематика його досліджень в Оксфорді: коректність програмних специфікацій, проектування і розробка критичних і некритичних систем.
У 1999 році вийшов на пенсію у званні почесного професора і перейшов на посаду провідного дослідника в Microsoft Research в Кембріджі, де і працює до цього дня.
У 1980 він отримав Премію Тьюринга (премія ACM) за «його видатні досягнення у визначенні та дизайні мов програмування».
У 2000 він був удостоєний лицарського титулу за заслуги в галузі освіти та комп'ютерних наук, Премії Кіото.
Книги
- O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare,Structured Programming. Academic Press, 1972. ISBN 0-12-200550-3. Переклад: Дав У., Дейкстра Е., Хоор К.,Структурне програмування. М.: "Мир", 1975.
- 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. Переклад: Хоар Ч.,Взаємодіючі послідовні процеси. М: Світ, 1989.
- 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.
