Тони Хор
From Wikipedia, the free encyclopedia
Сър Чарлз Антъни Ричард Хор (роден на 11 януари 1934[1]), известен като Тони Хор и Ч. А. Р. Хор, е британски компютърен учен.
Quick Facts Роден, Учил в ...
Тони Хор Charles Antony Richard Hoare | |
британски информатик | |
Роден | |
---|---|
Учил в | Московски държавен университет Мертън Колидж Оксфордски университет |
Научна дейност | |
Област | Компютърни науки |
Работил в | Майкрософт Оксфордски университет |
Видни студенти | Стивън Брукс Клиф Джоунс Дейвид Науман Бил Роско Уилям Стюарт |
Известен с | Quicksort Hoare logic CSP |
Награди | Награда Тюринг |
Семейство | |
Уебсайт | www.cs.ox.ac.uk/people/tony.hoare/ |
Тони Хор в Общомедия |
Close
Известен е най-вече с развитието (през 1960 г., на 26 годишна възраст)[2] на алгоритъм за бързо сортиране, който е сред най-използваните алгоритми за сортиране.
Той също така разработва Hoare logic за проверка на правилността на програмата, и формалният език Communicating Sequential Processes (CSP) да се уточни взаимодействието на паралелните процеси (включително Задача за обядващите философи) и вдъхновение за Occam.