Лука Карделли

  • Биография и достижения Luca Andrea Cardelli

    • Итальянский ученый в области компьютерных наук, профессор в Оксфордском университете 
    • Известен исследованиями в теории типов и операционной семантике 
    • Участвовал в разработке языка программирования Modula-3 и первого компилятора для ML 
    • Внес вклад в определение понятия «типовое программирование» и разработку Polyphonic C# 
  • Образование и карьера

    • Родился в Монтекатини Терме, Италия 
    • Получил образование в Университете Пизы, защитил докторскую диссертацию в Эдинбургском университете в 1982 году 
    • Работал в Bell Labs и Digital Equipment Corporation, внес вклад в Unix-программное обеспечение, включая vismon 
  • Награды и почести

    • Стал членом Ассоциации вычислительной техники в 2004 году 
    • Избран членом Королевского общества в 2005 году 
    • Получил премию старшего Айто Даля-Найгаарда в 2007 году 

Полный текст статьи:

Лука Карделли — Википедия

Оставьте комментарий

Прокрутить вверх