From Wikipedia, the free encyclopedia
Сър Чарлз Антъни Ричард Хор (роден на 11 януари 1934[1]), известен като Тони Хор и Ч. А. Р. Хор, е британски компютърен учен.
| Тони Хор Charles Antony Richard Hoare | |
| британски информатик | |
 | |
| Роден | |
|---|---|
| Учил в | Московски държавен университет Мертън Колидж Оксфордски университет |
| Научна дейност | |
| Област | Компютърни науки |
| Работил в | Майкрософт Оксфордски университет |
| Видни студенти | Стивън Брукс Клиф Джоунс Дейвид Науман Бил Роско Уилям Стюарт |
| Известен с | Quicksort Hoare logic CSP |
| Награди | Награда Тюринг |
| Уебсайт | www.cs.ox.ac.uk/people/tony.hoare/ |
| Тони Хор в Общомедия | |
Известен е най-вече с развитието (през 1960 г., на 26 годишна възраст)[2] на алгоритъм за бързо сортиране, който е сред най-използваните алгоритми за сортиране.
Той също така разработва Hoare logic за проверка на правилността на програмата, и формалният език Communicating Sequential Processes (CSP) да се уточни взаимодействието на паралелните процеси (включително Задача за обядващите философи) и вдъхновение за Occam.
Роден в Коломбо, Цейлон (нова Шри Ланка) в британско семейство, той получава образователно-квалификационна степен бакалавър в Оксфордския университет (Merton College) през 1956 г. Той остава още една година в Оксфорд, изучавайки статистика като следдипломна квалификация. Заминава на обменни начала в Московския държавен университет в Съветския съюз, където учи руски и машинен превод на човешките езици в школата на Колмогоров.
През 1960 г. започва да работи в Elliott Brothers, Ltd, малка фирма за производството на компютри, където работи с Алгол 60 и започва да пише алгоритми[3][4]. Той стана професор по компютърни науки в Кралски Университет на Белфаст през 1968, през 1977 г. се връща в Оксфорд като професор по Компютърни системи и технологии, след смъртта на Кристофър Стрейчи. Днес е почетен професор там и също така главен изследовател в Microsoft Research в Кеймбридж, Англия.
През 1982 г. е избран за член на Кралското общество.[5]
Известен е преди всичко с алгоритми за бързо сортиране (Quicksort и Quickselect), логика на Хор (Hoare logic), формалния език Communicating Sequential Processes (CSP) за описвне на взаимодействия между паралелни процеси, разработване на концепция за синхронизация при операционните системи и с аксиоматичния подход към програмните езици.[6][7]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
