Лука Карделли
Лука Карделли | |
|---|---|
 Карделли в 2016 году | |
| Рожденный | Лука Андреа Карделли Монтекатини-Терме , Италия |
| Альма-матер | Пизанский университет Эдинбургский университет (доктор философии) |
| Известный | Теория объектов [5] |
| Награды | Премия Даля – Найгаарда (2007) [1] Сотрудник ACM (2005) |
| Научная карьера | |
| Поля | Теория языков программирования Алгебра процессов Системная биология Молекулярное программирование [2] |
| Учреждения | Белл Лаборатории Microsoft Исследования Корпорация цифрового оборудования Эдинбургский университет Оксфордский университет [3] |
| Диссертация | Алгебраический подход к описанию и проверке аппаратного обеспечения (1982) |
| Докторантура | Гордон Плоткин [4] |
| Веб-сайт | Лукакарделли |
Лука Андреа Карделли (FRS) — итальянский ученый-компьютерщик , профессор-исследователь Оксфордского университета , Великобритания. [6] [2] [7] [8] Карделли хорошо известен своими исследованиями в области теории типов и операционной семантики . [9] [10] Среди прочего, в области языков программирования он помог разработать язык Modula-3 , реализовал первый компилятор для (нечистого) функционального языка ML , определил концепцию типизированного программирования и помог разработать экспериментальный язык Polyphonic C# . [5] [11] [12] [13] [14]
Образование [ править ]
Он родился в Монтекатини-Терме , Италия . Он учился в Пизанском университете. [7] до получения докторской степени в Эдинбургском университете в 1982 году. [15] за исследования под руководством Гордона Плоткина . [4]
и исследования Карьера
Прежде чем присоединиться к Оксфордскому университету в 2014 году и исследовательскому отделу Microsoft Research в Кембридже , [7] В Великобритании в 1997 году он работал в Bell Labs и Digital Equipment Corporation . [7] и внес свой вклад в программное обеспечение Unix, включая vismon . [16]
Награды и почести [ править ]
В 2004 году он был избран членом Ассоциации вычислительной техники . В 2005 году он был избран членом Королевского общества (FRS). [7] В 2007 году Карделли был награжден старшей премией Даля-Нигаарда AITO, названной в честь Оле-Йохана Даля и Кристен Нигаард . [17]
Ссылки [ править ]
- ^ «Лауреаты премии Даля-Нюгаарда AITO за 2007 год» . Айто . Международная ассоциация по технологиям объектов . Проверено 7 декабря 2022 г.
- ↑ Перейти обратно: Перейти обратно: а б Публикации Луки Карделли, проиндексированные Google Scholar
- ^ Карделли, Лука (2021). «Лука Карделли» . Кафедра компьютерных наук . Оксфордский университет.
- ↑ Перейти обратно: Перейти обратно: а б Лука Карделли в проекте «Математическая генеалогия»
- ↑ Перейти обратно: Перейти обратно: а б Карделли, Лука; Абади, Мартин (1996). Теория объектов . Берлин: Шпрингер. ISBN 978-0-387-94775-4 . OCLC 34557380 .
- ^ Интервью Computerworld с Лукой Карделли
- ↑ Перейти обратно: Перейти обратно: а б с д и Анон (2013). «Карделли, Лука» . Кто есть кто (онлайн- изд. Oxford University Press ). Оксфорд: A&C Black. дои : 10.1093/ww/9780199540884.013.U244893 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ Далхау, Н.; Филлипс, А.; Гольдштейн, Л.Д.; Ховарт, М.; Карделли, Л.; Эммотт, С .; Эллиотт, Т.; Вернер, Дж. М. (2011). Чакраборти, Аруп К. (ред.). «Соотношение фильтрации пептидов количественно определяет оптимизацию пептидов MHC класса I» . PLOS Вычислительная биология . 7 (10): e1002144. Бибкод : 2011PLSCB...7E2144D . дои : 10.1371/journal.pcbi.1002144 . ПМК 3195949 . ПМИД 22022238 .
- ^ Карделли, Л. (1996). «Плохие инженерные свойства объектно-ориентированных языков» . Обзоры вычислительной техники ACM . 28 (4с): 150–с. дои : 10.1145/242224.242415 . S2CID 12105785 .
- ^ Карделли, Лука; Вегнер, Питер (декабрь 1985 г.). «О понимании типов, абстракции данных и полиморфизме» (PDF) . Обзоры вычислительной техники ACM . 17 (4): 471–523. CiteSeerX 10.1.1.117.695 . дои : 10.1145/6041.6042 . ISSN 0360-0300 . S2CID 2921816 .
- ^ Луки Карделли Страница профиля автора ACM . в цифровой библиотеке
- ^ Лука Карделли на DBLP библиографическом сервере
- ^ Публикации Луки Карделли , индексируемые библиографической базой данных Scopus . (требуется подписка)
- ^ Абади, М .; Карделли, Л.; Курьен, Польша; Леви, Джей-Джей (1990). «Явные замены». Материалы 17-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования (POPL) '90 . стр. 31–46. CiteSeerX 10.1.1.22.9903 . дои : 10.1145/96709.96712 . ISBN 978-0897913430 . S2CID 7265577 .
- ^ Карделли, Лука (1982). Алгебраический подход к описанию и проверке аппаратуры . ed.ac.uk (докторская диссертация). Эдинбургский университет. hdl : 1842/13308 . ОСЛК 11197000 . EThOS uk.bl.ethos.253190 .
- ^ Макилрой, доктор медицины (1987). Читатель Research Unix: аннотированные выдержки из Руководства программиста, 1971–1986 (PDF) (Технический отчет). CSTR. Лаборатории Белла. 139.
- ^ «Лауреаты премии Даля – Найгаарда AITO за 2007 год» . Международная ассоциация по технологиям объектов . Мьёльнер Информатика. 2007.
