Тони Хор

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

Роден
11 януари 1934 г. (83 г.)
Научна дейност
Област Компютърни науки
Видни студенти Стивън Брукс
Клиф Джоунс
Дейвид Науман
Бил Роско
Уилям Стюарт
Известен с 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.

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

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