• 25 июля 2011, понедельник
  • , Политехнический музей, Новая площадь ¾, подъезд 9, Синяя аудитория.

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

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

Открытый университет Сколково (ОтУС)
3386 дней назад
25 июля 2011 c 18:00 до 20:00
Политехнический музей, Новая площадь ¾, подъезд 9, Синяя аудитория.

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

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше