Присуждение 4-й ежегодной премии Катаянаги


Объявлены победители Премии Катаянаги в области компьютерных наук, ежегодно присуждаемой Университетом Карнеги-Меллона совместно с Токийским технологическим университетом.

Победили Барбара Лисков, пионер в области языков программирования и распределенных систем, и Скотт Клеммер, чей подход, ориентированный на человека, меняет способ проектирования онлайн-систем.

Призы вручает японский предприниматель и защитник образования Ко Катаянаги, который основал Токийский технологический университет и несколько технических институтов в Японии и был открыт в 2007 году.

Барбара Лисков, пионер в области языков программирования и распределенных систем, которая в настоящее время является профессором Массачусетского технологического института и руководителем группы методологии программирования в Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института, получит премию Катаянаги за выдающиеся достижения в области исследований. Эта награда присуждается признанному исследователю с отчетом о выдающихся и устойчивых достижениях и включает гонорар в размере 10 000 долларов, выигранный на последней предыдущей презентации Дональда Кнута.

Благодаря работе Лискова программное обеспечение стало более надежным и простым в обслуживании. Среди ее вкладов — Принцип подстановки Лискова (LSP), формализованный в 1994 году, который характеризует, когда безопасно заменить объект подтипа на объект родительского типа, тем самым предотвращая странное поведение при запуске программы.

Скотт Клеммер, доцент кафедры информатики в Стэнфордском университете, где он является одним из руководителей Группы взаимодействия человека и компьютера, был удостоен премии Katayanagi Emerging Leadership Prize, которая включает гонорар в размере 5000 долларов. Клеммер наиболее известен своей работой, посвященной исследованию того, как программные инструменты могут повысить качество проектирования интерфейсов и программирования, подхода, ориентированного на человека, который меняет способ проектирования онлайн-систем.


Добавить комментарий