Luka Kardelli - Luca Cardelli

Luka Kardelli
Luca Cardelli.jpg
Tug'ilgan
Luka Andrea Kardelli

Montekatini Terme, Italiya
Olma materPisa universiteti[1]
Edinburg universiteti
Ma'lumOb'ektlar nazariyasi[2] bilan Martin Abadi
MukofotlarQirollik jamiyatining a'zosi (2005)
Dahl-Nygaard mukofoti (2007)
A'zosi ACM
Ilmiy martaba
MaydonlarTurlar nazariyasi
Operatsion semantika
InstitutlarBell laboratoriyalari
Microsoft tadqiqotlari
Raqamli uskunalar korporatsiyasi
Edinburg universiteti
Oksford universiteti[3]
TezisUskunani tavsiflash va tekshirishda algebraik yondashuv  (1982)
Doktor doktoriGordon Plotkin[4]
Veb-saytlucacardelli.nomi

Luka Andrea Kardelli FRS italiyalik kompyutershunos kim direktor yordamchisi Microsoft tadqiqotlari yilda Kembrij, Buyuk Britaniya.[1][5] Kardelli o'zining tadqiqotlari bilan tanilgan tip nazariyasi va operatsion semantika.[6][7] Boshqa hissalar qatorida u dizaynga yordam berdi Modula-3, (sof bo'lmagan) uchun birinchi kompilyatorni amalga oshirdi funktsional dasturlash tili ML va kontseptsiyasini aniqladi tipik dasturlash. U rivojlanishiga yordam berdi Polifonik C # eksperimental dasturlash tili.[2][8][9][10][11][12]

Ta'lim

U tug'ilgan Montekatini Terme, Italiya. U ishtirok etdi Pisa universiteti[1] uni qabul qilishdan oldin PhD[13] dan Edinburg universiteti 1982 yilda. 1997 yilda Microsoft Research-ga qo'shilishdan oldin u ishlagan Bell laboratoriyalari va Raqamli uskunalar korporatsiyasi,[1] va o'z hissasini qo'shdi Unix dasturiy ta'minot, shu jumladan vismon.[14]

Mukofotlar

2004 yilda u a'zosi sifatida qabul qilindi Hisoblash texnikasi assotsiatsiyasi. U a'zosi Qirollik jamiyati. 2007 yilda Cardelli Katta AITO mukofotiga sazovor bo'ldi Ole-Yoxan Dal va Kristen Nygaard mukofoti.[15]

Adabiyotlar

  1. ^ a b v d "KARDELLI, Luka". Kim kim 2013, A & C Black, Bloomsbury Publishing plc-ning izi, 2013; onlayn edn, Oksford universiteti matbuoti.(obuna kerak)
  2. ^ a b Kardelli, Luka; Abadi, Martin (1996). Ob'ektlar nazariyasi. Berlin: Springer. ISBN  978-0-387-94775-4.
  3. ^ https://www.cs.ox.ac.uk/people/luca.cardelli/
  4. ^ Luka Kardelli da Matematikaning nasabnomasi loyihasi
  5. ^ Dalchau, N .; Fillips, A .; Goldshteyn, L. D .; Xovart, M.; Kardelli, L.; Emmott, S.; Elliott, T .; Verner, J. M. (2011). Chakraborti, Arup K (tahrir). "Peptidni filtrlash munosabati MHC I sinf peptidni optimallashtirishni aniqlaydi". PLOS hisoblash biologiyasi. 7 (10): e1002144. doi:10.1371 / journal.pcbi.1002144. PMC  3195949. PMID  22022238.
  6. ^ Kardelli, L. (1996). "Ob'ektga yo'naltirilgan tillarning yomon muhandislik xususiyatlari". ACM hisoblash tadqiqotlari. 28 (4es): 150 yil. doi:10.1145/242224.242415. S2CID  12105785.
  7. ^ Kardelli, Luka; Wegner, Piter (1985 yil dekabr). "Turlarini tushunish, ma'lumotlar abstraktsiyasi va polimorfizm to'g'risida" (PDF). ACM hisoblash tadqiqotlari. 17 (4): 471–523. CiteSeerX  10.1.1.117.695. doi:10.1145/6041.6042. ISSN  0360-0300. S2CID  2921816.CS1 maint: ref = harv (havola)
  8. ^ Luka Kardelli muallif profil sahifasi ACM Raqamli kutubxona
  9. ^ Luka Kardelli da DBLP Bibliografiya serveri Buni Vikidatada tahrirlash
  10. ^ Nashrlar ro'yxati dan Microsoft Academic
  11. ^ Luka Kardelli nashrlari tomonidan indekslangan Scopus bibliografik ma'lumotlar bazasi. (obuna kerak)
  12. ^ Abadi, M.; Kardelli, L.; Kyurien, P. L .; Levy, J. J. (1990). "Aniq almashtirishlar". Dasturlash tillari asoslari bo'yicha 17-ACM SIGPLAN-SIGACT simpoziumi materiallari - POPL '90. p. 31. CiteSeerX  10.1.1.22.9903. doi:10.1145/96709.96712. ISBN  978-0897913430. S2CID  7265577.
  13. ^ Kardelli, Luka (1982). Uskunani tavsiflash va tekshirishda algebraik yondashuv (Doktorlik dissertatsiyasi). Edinburg universiteti.
  14. ^ Makilroy, M. D. (1987). Unix-ning tadqiqotchi o'quvchisi: 1971-1986 yillarda Dasturchi qo'llanmasidan izohli parchalar (PDF) (Texnik hisobot). CSTR. Bell laboratoriyalari. 139.
  15. ^ AITO Dal-Nygaard mukofotining 2007 yildagi g'oliblari

Tashqi havolalar