Новосибирский государственный университет Факультет информационных технологий Современные проблемы информатики и вычислительной техники

Персоны в коллекции "Современные проблемы информатики"

Чарльз Энтони Ричард Хоар

р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри Ланка

Основные достижения:

Сэр Чарльз Энтони Ричард Хоар (Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare) — английский учёный, специализирующийся в области информатики и вычислительной техники. Наиболее известен как разработчик алгоритма «быстрой сортировки» (1960), на сегодняшний день являющегося наиболее популярным алгоритмом сортировки.

Им разработаны язык Z спецификаций и параллельная модель взаимодействия последовательных процессов (CSP, Communicating Sequential Process). В числе его заслуг — разработка логики Хоара (Hoare Logic), научной основы для конструирования корректных программ, используемой для определения и разработки языков программирования. Хоар написал ряд трудов по созданию спецификаций, проектированию, реализации и сопровождению программ, показывающих важность научных результатов для увеличения производительности компьютеров и повышения надежности программного обеспечения.

Входил в рабочую группу IFIP по совершенствованию языков программирования.

Краткая биография:

Родился в Коломбо в Шри-Ланке. Получил степень бакалавра по классическим языкам в Оксфордском университете в 1956 году. Проходил службу в Королевском военно-морском флоте Великобритании в 1956—1958 годы. Изучив русский язык, в 1959 году Хоар обучался в Московском университете компьютерному переводу, а также теории вероятностей в школе Колмогорова. В 1960, из-за политического кризиса, связанного с уничтожением разведывательного самолета У-2, он покинул Советский Союз и начал работать в небольшой компании по производству компьютеров Elliott Brothers, где занимался реализацией языка ALGOL 60 . Там же он начал заниматься разработкой алгоритмов.

Награды: Премия Тьюринга ,Computer Pioneer .

Публикации o жизни и деятельности персоны:

1. Богатырев Руслан, Никлаус Вирт — патриарх надежного программирования // Мир ПК. - 2004. - Том Студия программирования, - Выпуск № 3.

Публикации персоны:

1. Дал У., Дейкстра Э., Хоор К. Структурное программирование / пер. с англ. С.Д. Зеленцкого, В.В. Мартынюка, Л.В. Ухова ; под ред. Э.З. Любимского, В.В. Мартынюка. — М.: Мир, 1975. — С. 247.
2. Хоар Ч. Э. Р., Взаимодействующие последовательные процессы / под редакцией А. П. Ершова. - Москва: Мир. - 1989. - С. 264. - ISBN 5-03-001043-2.

Контекстный поиск: Задайте образец для поиска:
    

Федотова Ольга Анатольевна

НГУ ФИТ НГУ ИВТ СО РАН