Лекция, 25 июля 2011, 18:00

Величайшие идеи компьютерной науки: от Аристотеля до Евклида

бесплатно
Описание встречи

Великие идеи — вне времени. Они неоднократно появляются в человеческих мыслях, в различных формах. Во время лекции Сэр Тони Хоар проследит особенно важные технологические идеи древних греков.

Лекция будет на английском языке. Для, того, чтобы послушать ее, нужно зарегистрироваться.

Преподаватели
C908f96cd2
Тони Хоар
Интерес Сэра Тони Хоара к компьютерным вычислениям проснулся в начале пятидесятых годов, когда он изучал философию (наряду с латинским и греческим) в Оксфордском университете, под руководством Джона Лукаса. Во время своей службы в Королевском военно-морском флоте изучал русский язык. В 1959 году, будучи аспирантом Московского государственного университета, он изучал машинный перевод языков и теорию вероятностей, в школе А. Н. Колмогорова. Для эффективного поиска слов в словаре, он разработал известный алгоритм «быстрой сортировки». По возвращении в Англию в 1960 году, работая в компании Elliott Brothers, занимался разработкой первого коммерческого компилятора для языка программирования Алгол 60. В 1968 году Тони стал профессором в Королевском университете Белфаста, где занимался исследованиями в области компиляторов, операционных систем и параллелизма. В 1977 году он переехал в Оксфорд и возглавил исследовательскую группу Programming Research Group. Группа занималась исследованиями в области корректности программных спецификаций, проектирования и разработки критических и некритических систем. Известные результаты этих исследований — это язык спецификаций «Z» и параллельная модель взаимодействия последовательных процессов (CSP). В 1980 году Тони стал лауреатом премии Тьюринга за выдающиеся достижения в определении и дизайне языков программирования. В 1999 году он перешел на должность ведущего исследователя в Microsoft Research в Кембридже, где и работает по настоящий момент. В 2000 году он был удостоен рыцарского титула за заслуги в области образования и компьютерных наук.
Посетили
Показать Всех
Смотрите также