27 марта 2017, Понедельник
PDA RSS
РУБРИКИ
Свежий номер
Городские новости

Политика

Экономика

Общество

Культура

Спорт

Наследие

Круглый стол

Номера газеты в формате PDF
АВТОРИЗАЦИЯ
Логин  
Пароль  
Запомнить меня
 
  Регистрация
  Забыли пароль?
О ГАЗЕТЕ
Сотрудники

Реклама

Подписка

История газеты

Учредитель

Как с нами связаться

НАУКА

Выпуск  № 110  от  17.06.2013
В ИТМО одним сэром больше

Мантия почетного доктора Национального исследовательского университета ИТМО вручена cэру Тони Хоару.

Уже по этому рыцарскому «cэр», понятно, что Чарльз Энтони Ричард Хоар – величина. Но он и обладатель премии Тьюринга – Нобелевки компьютерного мира. Тони Хоар – один из основоположников дискретной математики, автор «быстрой сортировки», теории взаимодействующих последовательных процессов, системы для доказательства корректности компьютерных программ, которая так и называется «логика Хоара».

Тони Хоар в 1959 году учился в МГУ компьютерному переводу и теории вероятностей в школе Колмогорова, где и совершенствовал свой русский язык.

Потом была работа в небольшой компании по производству компьютеров, где Хоар занимался реализацией языка ALGOL60. Там же он начал заниматься разработкой алгоритмов. В конце 1970-х – звание профессора информатики и вычислительной техники Королевского университета Белфаста. В 1977-м он возглавил в Оксфорде исследовательскую группу Programming Research Group, а в 1999-м в звании почетного профессора перешел на должность ведущего исследователя в Microsoft Research в Кембридже, где работает и сейчас.
 


Версия для печати

КОММЕНТАРИИ


Copyright (C) 2000 Издательский дом "С.-Петербургские ведомости"
191025 Санкт-Петербург, Ул. Марата 25. Телефон: +7 (812) 325-31-00 Факс: +7 (812) 764-48-40
E-mail: post@spbvedomosti.ru