Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Лука Карделли
Лука Карделли.jpg
Родившийся
Лука Андреа Карделли

Монтекатини Терме , Италия
ОбразованиеПизанский университет [1]
доктор философии, Эдинбургский университет , 1982 г.
ИзвестенТеория объектов [2] с Мартином Абади
НаградыЧлен Королевского общества (2005),
премия Даля – Найгаарда (2007),
член ACM (2005)
Научная карьера
ПоляТеория типов
Операционная семантика
УчрежденияBell Labs
Корпорация Microsoft Research
Digital Equipment Corporation
Эдинбургский
университет Оксфордского университета [3]
ТезисАлгебраический подход к описанию и проверке оборудования  (1982)
ДокторантГордон Плоткин [4]
Интернет сайтlucacardelli .name

Лука Андреа Карделли , член Королевского общества (FRS), итальянский ученый-компьютерщик , профессор-исследователь в Оксфордском университете в Оксфорде , Великобритания. [1] [5] Карделли хорошо известен своими исследованиями в области теории типов и операционной семантики . [6] [7] Среди прочего, он помог разработать Modula-3 , реализовал первый компилятор для (нечистого) функционального языка программирования ML и определил концепцию типизированного программирования . Он участвовал в разработке Polyphonic C #.экспериментальный язык программирования. [2] [8] [9] [10] [11] [12]

Образование [ править ]

Он родился в Монтекатини Терме , Италия . Он учился в Пизанском университете [1], а затем получил степень доктора философии (PhD) в Эдинбургском университете в 1982 году. [13] До прихода в Оксфордский университет в 2014 году и в Microsoft Research в Кембридже , Великобритания, в 1997 году он работал. для Bell Labs и Digital Equipment Corporation , [1] и внес свой вклад в программное обеспечение Unix, включая vismon . [14]

Награды [ править ]

В 2004 году он был принят в члены Ассоциации вычислительной техники . Он член Королевского общества . В 2007 году Карделли был удостоен Старшей премии AITO Даля – Найгаарда в честь Оле-Йохана Даля и Кристен Найгаард . [15]

Ссылки [ править ]

  1. ^ a b c d "Карделли, Лука" . Who's Who 2013, A&C Black, отпечаток Bloomsbury Publishing plc, 2013; онлайн-издание, Oxford University Press .(требуется подписка)
  2. ^ a b Карделли, Лука; Абади, Мартин (1996). Теория объектов . Берлин: Springer. ISBN 978-0-387-94775-4.
  3. ^ Карделли, Лука (2021). «Лука Карделли» . Департамент компьютерных наук . Оксфордский университет.
  4. ↑ Лука Карделли в проекте « Математическая генеалогия»
  5. ^ Dalchau, N .; Филлипс, А .; Гольдштейн, Л.Д .; Howarth, M .; Cardelli, L .; Эммотт, С .; Elliott, T .; Вернер, JM (2011). Чакраборти, Аруп К. (ред.). «Отношение фильтрации пептидов количественно определяет оптимизацию пептидов класса I MHC» . PLOS Вычислительная биология . 7 (10): e1002144. Bibcode : 2011PLSCB ... 7E2144D . DOI : 10.1371 / journal.pcbi.1002144 . PMC 3195949 . PMID 22022238 .  
  6. Перейти ↑ Cardelli, L. (1996). «Плохие инженерные свойства объектно-ориентированных языков» . ACM Computing Surveys . 28 (4es): 150 – es. DOI : 10.1145 / 242224.242415 . S2CID 12105785 . 
  7. ^ Карделли, Лука; Вегнер, Питер (декабрь 1985 г.). «О понимании типов, абстракции данных и полиморфизме» (PDF) . ACM Computing Surveys . 17 (4): 471–523. CiteSeerX 10.1.1.117.695 . DOI : 10.1145 / 6041.6042 . ISSN 0360-0300 . S2CID 2921816 .    
  8. ^ Страница профиля автора Луки Карделли вцифровой библиотеке ACM
  9. ^ Лука Карделли насервере библиографии DBLP
  10. ^ Список публикаций из Microsoft Academic
  11. ^ Публикации Luca Cardelli в индексируется Scopus библиографической базы данных. (требуется подписка)
  12. ^ Абади, М .; Cardelli, L .; Curien, PL; Леви, Дж. Дж. (1990). «Явные замены». Материалы 17-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования (POPL) '90 . п. 31–46. CiteSeerX 10.1.1.22.9903 . DOI : 10.1145 / 96709.96712 . ISBN  978-0897913430. S2CID  7265577 .
  13. ^ Карделли, Лука (1982). Алгебраический подход к описанию и верификации оборудования (кандидатская диссертация). Эдинбургский университет.
  14. Перейти ↑ McIlroy, MD (1987). Читатель Research Unix: аннотированные выдержки из Руководства программиста, 1971–1986 (PDF) (технический отчет). CSTR. Bell Labs. 139.
  15. ^ "Лауреаты премии AITO Даля – Найгаарда за 2007 год" . Международная ассоциация за объекты технологий . Mjølner Informatics. 2007 г.

Внешние ссылки [ править ]

  • Официальный веб-сайт
  • Computerworld Интервью с Лукой Карделли