Max Home IndustryЛука Карделли, помощник директора Microsoft Research в Кембридже, Великобритания, в 2015 году стал лауреатом премии ACM SIGPLAN Programming Languages Achievement Award за исключительный вклад в область языков программирования.
Эта ежегодная премия, которая включает в себя премию в размере 5000 долларов, проводится под эгидой Ассоциации вычислительной техники, крупнейшего членского общества для профессионалов в области компьютерных технологий. Он исходит от Специальной группы по интересам для языков программирования и признает значительный и длительный вклад, внесенный в качестве отдельного события или в течение всей жизни.
Предыдущие получатели включают Тони Хоара (2011), Барбару Лисков (2008), Никлуаса Вирта (2007), Джона Бэкуса (2004) и Джона Маккарти (2002).
Цитата в отношении Луки Карделли включает следующее:
Его вклад охватывает многие области: программное обеспечение; языковой дизайн, включая экспериментальные языки; основы языков программирования; и взаимодействие языков программирования и биологии.
Он является ведущим языковым дизайнером. Он был одним из разработчиков Modula-3, которая сыграла важную роль в популяризации понятия типобезопасного программирования и оказала ключевое влияние на Java и C#. Таким образом, его работа помогла заложить основы для сегодняшнего почти универсального промышленного принятия типобезопасных языков программирования.
Его наиболее продолжительная исследовательская деятельность заключалась в создании семантических и теоретико-типологических основ языков программирования. Две из его наиболее известных работ-его статья 1985 года “О понимании типов, абстракции данных и полиморфизме” (совместно с Вегнером) и его книга 1996 года “Теория объектов” (совместно с Абади). Другие важные его работы касаются семантики множественного наследования в объектно-ориентированных языках и явных подстановок в лямбда-исчислении.
Карделли учился в Пизанском университете в своей родной Италии, а в 1982 году получил докторскую степень в Эдинбургском университете. В начале своей карьеры он работал в Bell Labs и Digital Equipment Corporation, внося вклад в программное обеспечение Unix, прежде чем присоединиться к Microsoft Research в 1997 году.
Цитирование продолжается:
В последнее время он сосредоточился на моделировании глобальных и мобильных вычислений с помощью окружающего исчисления и пространственной логики. Его работа стала пионером влиятельного способа описания, программирования и рассуждений о глобальных и мобильных вычислениях в терминах формальных исчислений и языковых конструкций. Это также связано с важным направлением работы над полуструктурированными данными и косвенно привело к его нынешнему интересу к биологии и стохастическим системам.
На веб-странице Microsoft Research перечислены его текущие интересы: Молекулярное программирование, Системная биология, Естественные вычисления, Количественная семантика. Он также является профессором исследований Королевского общества на факультете компьютерных наук Оксфордского университета.
Эта последняя награда-не первый случай, когда вклад Карделли был признан. В 2004 году он был принят в члены ACM, а в 2007 году стал членом Королевского общества. Также в 2007 году он был удостоен высшей премии Даля-Найгаарда, считающейся самой престижной наградой в области объектно-ориентированных компьютерных наук.