Премию Тьюринга присудили Лесли Лэмпорту

Руководитель подразделения Microsoft Research Лесли Лэмпорт стал лауреатом премии Тьюринга (ее называют также «Нобелевской премией в области компьютерных наук») за 2013 год.

ACM, Ассоциация по вычислительной технике, признала заслуги специалиста в части «придания ясной и четко определенной согласованности, казалось бы, хаотичному поведению распределенных вычислительных систем, в которых несколько автономных компьютеров осуществляют взаимодействие друг с другом путем обмена сообщениями».

Предложенные им алгоритмы, модели и системы проверки позволили распределенным вычислительным системам играть ключевую роль в функционировании ЦОД, в деле обеспечения безопасности и в организации облачных вычислений.

Денежный эквивалент премии, присуждаемой при финансовой поддержке компаний Intel и Google, составляет 250 тыс. долл.

Президент ACM Винт Серф в своем выступлении указал, что, будучи специалистом в области прикладной математики, Лесли Лэмпорт всегда отличался невероятным чутьем и умением применять математические инструменты при решении важных практических задач. Представляя формализованные описания и доказательства правильности предложенных алгоритмов, закладывая прочный фундамент для проведения сложных вычислений, он помог воплотить теорию академических дисциплин в практических инструментах.

Лэмпорт получил известность благодаря решению «задачи византийских генералов», созданию языка темпоральной логики (TLA+) и системы подготовки документов LaTex, которая используется как в компьютерной области, так и в других сферах. Написанная им в 1978 году работа «Время, часы и упорядочение событий в распределенной системе» является одной из самых цитируемых в области компьютерных наук.

До своего прихода в Microsoft в 2001 году Лэмпорт успел поработать во многих компаниях, в том числе в SRI International и Digital Equipment Corp. (позднее – Compaq). Степень бакалавра математики он получил в Массачусетском технологическом институте, а магистра и доктора философии в области математики – в университете Брандейса.

Премия Тьюринга стала очередных пунктом в длинном перечне наград Лэмпорта. Ранее он получил от IEEE премию Эмануэля Пиора за вклад в теорию и практику развития параллельного программирования и отказоустойчивых компьютеров и медаль Джона фон Неймана. Его перу принадлежат около 150 публикаций, посвященных конкурентным и распределенным вычислениям.

Ежегодная церемония присуждения премии Тьюринга за 2013 год пройдет 21 июня в Сан-Франциско. В прошлом году ее получили два эксперта по криптографии из Массачусетского технологического института.