Тони Хор
| {{{име}}} | |
| Сър Чарлз Антъни Ричард Хор даде пресконференция в EPFL на 20 юни 2011 г. | |
 |
|
| Роден | 11 януари 1934 г. Коломбо, Шри Ланка |
|---|---|
| Изследователски полета |
Компютърни науки |
| Известни студенти | Стивън Брукс Клиф Джоунс Дейвид Науман Бил Роско Уилям Стюарт |
| Известен с | Quicksort Hoare logic CSP |
| Награди | Награда Тюринг |
Сър Чарлз Антъни Ричард Хор (роден на 11 Януари 1934),[1] известен като Тони Хор или Ч. А. Р. Хор, е британски компютърен учен, известен най-вече с развитието на (през 1960, на 26) Quicksort, който е сред най-използваните алгоритми за сортиране.
Той също така разработил Hoare logic за проверка на правилноста на програмата, и формалният език Communicating Sequential Processes (CSP) да се уточни взаимодействието на едновременните процеси (включително Задача за обядващите философи ) и вдъхновение за език за програмиране Оccam.
Съдържание |
Биография [редактиране]
Роден в Коломбо, Цейлон (нова Шри Ланка) в британско семейство, е получил му образователно-квалификационна степен "бакалавър в Оксфордски университет (Merton College) през 1956 г.. Той остана още една година в Оксфорд, изучава и завършил статистически данни. Докато учи руски, той също учи компютър превод на човешки езици в Московския държавен университет в Съветския съюз в школата на Колмогоров.
През 1960 г. той напуска Съветския съюз и започва да работи в Elliott Brothers, Ltd, малка фирма за производството на компютри, където изпълнява Алгол 60. Той стана професор по компютърни науки в Кралски Университет на Белфаст през 1968, през 1977 г. се връща в Оксфорд като професор по Компютърни системи и технологии, след смъртта на [[Кристофър Стрейчи] ]. Той сега е заслужил професор там, и е също главен изследовател в Microsoft Research Кеймбридж, Англия.
През 1982 г. той е избран за сътрудник на Кралския общество.[2]
Награди [редактиране]
- Награда Тюринг за "фундаментален принос за определяне и проектиране на език за програмиране". Наградата му беше представена на годишната конференция на ACM в Нешвил, Тенеси на 27 октомври 1980 г., от Уолтър Карлсън, председател на Награди на комитета.
- Хари H. Goode Memorial Award "(1981)
- Сътрудник на Кралското общество (1982)
- Доктор хонорис кауза на науките от Кралския Университет на Белфаст (1987)
- рицар за услуги на образование и компютърни науки (2000)
- Киото награда за Информация наука (2000)
- Сътрудник на Кралската академия по инженеринг (2005)
- История на Computer музей (CHM) в Маунтин Вю, Калифорния сътрудник на музея ", за развитието на QUICKSORT алгоритъм и за учене през целия принос към теорията на език за програмиране ите "(2006)
- Доктор хонорис кауза на науките от Катедрата по информатика на Атинския университет за икономика и бизнес (AUEB) (2007)
- IEEE Джон фон Нойман медал (2011)
Книги [редактиране]
- O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare. Structured Programming. Academic Press, 1972. ISBN 0-12-200550-3. OCLC 23937947.
- 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. OCLC 25712842.
- C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8. OCLC 38199961.
Източници [редактиране]
- ↑ Birthdays Jan 10. // The Times. London, 10 January 2009. Посетен на 9 January 2010.
- ↑ Fellows. // Royal Society. Посетен на 20 November 2010.
Външни препратки [редактиране]
- Microsoft home page — short biography
- Oral history interview with C. A. R. Hoare at Charles Babbage Institute, University of Minnesota, Minneapolis.
- The classic article on monitors — The original article on monitors
