USD 65.59 ЕВРО 75.18

В Москве пройдет лекция ведущего исследователя Microsoft Research в Кембридже сэра Тони Хоара

Экономика

В Москве пройдет лекция ведущего исследователя Microsoft Research в Кембридже сэра Тони Хоара

25 июля 2011 года в Политехническом музее в рамках «Открытого университета «Сколково» состоится лекция сэра Тони Хоара, ведущего исследователя Microsoft Research в Кембридже. Сэр Тони Хоар в своей лекции «Величайшие идеи компьютерной науки» расскажет о важных технологических идеях древних греков, а также поднимет философские вопросы, на которые ученые до сих пор не нашли ответов.

Сэр Тони Хоар начал интересоваться компьютерными вычислениями в начале
пятидесятых годов, когда он изучал философию, а также латинский и греческий
языки в Оксфордском университете под руководством профессора философии Джона
Лукаса. В 1959 году, будучи аспирантом Московского государственного
университета им. Ломоносова, он изучал машинный перевод языков и теорию
вероятностей в школе А. Н. Колмогорова при МГУ. Следует отметить, что обучение
проходило на русском языке, который сэр Тони Хоар начал изучать во время службы
в Королевском военно-морском флоте. Изучая несколько иностранных языков, сэр
Тони Хоар в период своего обучения в МГУ разработал известный алгоритм «быстрой
сортировки» для эффективного поиска слов в словаре.

По возвращении в Англию в 1960 году, он начал работу в компании Elliott
Brothers, где занимался разработкой первого коммерческого компилятора для языка
программирования Algol 60. В 1968 году Тони стал профессором в Королевском
университете Белфаста, где занимался исследованиями в области компиляторов,
операционных систем и параллелизма.

В 1977 году он переехал в Оксфорд и возглавил исследовательскую группу
Programming Research Group. Группа проводила исследования в области
корректности программных спецификаций, проектирования и разработки критических
и некритических систем. Известные результаты этих исследований – язык
спецификаций «Z» и параллельная модель взаимодействия последовательных
процессов (CSP).

В 1980 году сэр Тони Хоар стал лауреатом премии Тьюринга за выдающиеся
достижения в определении и дизайне языков программирования. В 1999 году он
перешёл на должность ведущего исследователя в Microsoft Research в Кембридже,
где и работает по настоящий момент. В 2000 году он был удостоен рыцарского
титула за заслуги в области образования и компьютерных наук. 

 

Сэр Тони Хоар является Почетным Лектором Ассоциации
вычислительной техники (
Distinguished Lecturer for the Association for
Computing Machinery) – самого крупного в мире образовательного и
научно-вычислительного общества.

 

Прямая онлайн трансляция лекции будет проходить 25 июля с 18:00 на сайте
Microsoft для прессы:
http://www.ms4press.ru/