Тони Хор

от Уикипедия, свободната енциклопедия
Направо към навигацията Направо към търсенето
Тони Хор
британски информатик

Роден
11 януари 1934 г. (84 г.)
Научна дейност
Област Компютърни науки
Видни студенти Стивън Брукс
Клиф Джоунс
Дейвид Науман
Бил Роско
Уилям Стюарт
Известен с Quicksort
Hoare logic
CSP
Награди Награда Тюринг
Тони Хор в Общомедия

Сър Чарлз Антъни Ричард Хор (роден на 11 януари 1934[1]), известен като Тони Хор и Ч. А. Р. Хор, е британски компютърен учен.

Известен е най-вече с развитието (през 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]

Награди[редактиране | редактиране на кода]

Книги[редактиране | редактиране на кода]

Източници[редактиране | редактиране на кода]

  1. Birthdays Jan 10. // The Times. London, 10 January 2009. Посетен на 9 January 2010.
  2. Sir Antony Hoare. // Computer History Museum. Посетен на 22 April 2015.
  3. C.A.R. Hoare. The emperor's old clothes. // Communications of the ACM 24 (2). February 1981. DOI:10.1145/358549.358561. с. 5 – 83.
  4. Hoare, C. A. R.. The emperor's old clothes. // Communications of the ACM 24 (2). 1981. DOI:10.1145/358549.358561. с. 75.
  5. Fellows. // Royal Society. Посетен на 20 November 2010.
  6. Preface to the ACM Turing Award lecture.
  7. ACM Turing Award citation.

Външни препратки[редактиране | редактиране на кода]

Уикицитат
Уикицитат съдържа колекция от цитати от/за