Оглавление
Лука Карделли
-
Биография и достижения Luca Andrea Cardelli
- Итальянский ученый в области компьютерных наук, профессор в Оксфордском университете
- Известен исследованиями в теории типов и операционной семантике
- Участвовал в разработке языка программирования Modula-3 и первого компилятора для ML
- Внес вклад в определение понятия “типовое программирование” и разработку Polyphonic C#
-
Образование и карьера
- Родился в Монтекатини Терме, Италия
- Получил образование в Университете Пизы, защитил докторскую диссертацию в Эдинбургском университете в 1982 году
- Работал в Bell Labs и Digital Equipment Corporation, внес вклад в Unix-программное обеспечение, включая vismon
-
Награды и почести
- Стал членом Ассоциации вычислительной техники в 2004 году
- Избран членом Королевского общества в 2005 году
- Получил премию старшего Айто Даля-Найгаарда в 2007 году