Новосибирский государственный университет

Факультет информационных технологий

Современные проблемы информатики и вычислительной техники

ICT SBRAS
А.М.Федотов

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

Чарльз Энтони Ричард Хоар
р. 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.

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

  1. Дал У., Дейкстра Э., Хоор К. Структурное программирование / пер. с англ. С.Д. Зеленцкого, В.В. Мартынюка, Л.В. Ухова ; под ред. Э.З. Любимского, В.В. Мартынюка. — М.: Мир, 1975. — С. 247.

Ключевые термины:  Премия Тьюринга;   Computer Pioneer;   быстрая сортировка;   Взаимодействующие последовательные процессы;   язык Z;   CSP;   Hoare Logic;   ALGOL-W;   Algol;   Algol-68;   история ИТ;   структурное программирование;


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

|Головная| |Преподавание| | Современные проблемы информатики| |Информатика| |Ключевые термины| |Персоны|

Федотов Анатолий Михайлович
[SBRAS]
НГУ
ФИТ НГУ
ИВТ СО РАН
© 1998-2019, Новосибирский государственный университет, Новосибирск
© 1998-2019, Институт вычислительных технологий СО РАН, Новосибирск
© 1998-2019, Федотов А.М.
    Дата последней модификации: 06.12.2013