لوقا أندريه كارديلي (Luca Andrea Cardelli)، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في أبحاث ميكروسوفت في كامبريدج، المملكة المتّحدة.[2][7] وَعُرِف بسبب بحثه في نظرية النمط وَالدلالات العملياتية.[8][9] وقد ساهم في تصميم مودولا-3، وَنفّذ أوّل مجمّع للغة إم إل الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة سي شارب عديدة الأصوات (Polyphonic C sharp).[3][10][11][12][13][14]
| لوقا أندريه كارديلي | |
|---|---|
| Luca Andrea Cardelli | |
 | |
| معلومات شخصية | |
| اسم الولادة | Luca Andrea Cardelli |
| الميلاد | 1954 مونتيكاتيني تيرمي، إيطاليا |
| الإقامة | كامبريدج، المملكة المتّحدة |
| مواطنة |  إيطاليا |
| عضو في | الجمعية الملكية، ورابطة مكائن الحوسبة، والأكاديمية الأوروبية[1] |
| الحياة العملية | |
| المؤسسات | مختبرات بل أبحاث ميكروسوفت شركة معدّات رقميّة جامعة إدنبرة |
| الأطروحات | مسعىً جبريّ لوصف والتحقّق من العَتَاد (An algebraic approach to hardware description and verification) 1982 |
| المدرسة الأم | جامعة بيزا[2] جامعة إدنبرة |
| تعلم لدى | غوردن بلاتكن[4] |
| التلامذة المشهورون | أليكساندر سامرز[4] |
| المهنة | عالم حاسوب، ومهندس |
| مجال العمل | نظرية النمط دلالات عملياتية |
| موظف في | جامعة أوكسفورد[5][6]، وديجيتال إكوبمينت[5] |
| سبب الشهرة | نظريّة الكائنات (Theory of Objects)[3] مع مارتن عبادي |
| الجوائز | |
| زمالة الجمعية الملكية (2005) جائزة دال-نيغارد (2007) رابطة مكائن الحوسبة |
|
| المواقع | |
| الموقع | lucacardelli |
التعليم
وُلد في مونتيكاتيني تيرمي، إيطاليا. وارتاد جامعة بيزا[2] قبل أن يتلقّى الدكتوراه[15] من جامعة إدنبرة في عام 1982 وذلك قبل أن ينضم لأبحاث ميكروسوفت في عام 1997، وعمل لحساب مختبرات بل وَشركة معدات تقنية،[2] وساهم في برمجيَّة يونكس مُتضمَّنة فيزمون(vismon).[16]
الجوائز
في 2004، أصبح عضوًا في رابطة مكائن الحوسبة. وهو أيضًا عضو في الجمعية الملكية. وفي 2007، فاز بجائزة دال-نيغارد الشَرَفيّة.[17]
المراجع
- https://www.ae-info.org/ae/User/Cardelli_Luca
- "CARDELLI, Luca". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press. (الاشتراك مطلوب)
- Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. .
- لوقا كارديلي في شجرة علماء الرياضيات
- https://orcid.org/0000-0002-8705-8488 — تاريخ الاطلاع: 6 يناير 2019
- http://orcid.org/0000-0002-8705-8488 — تاريخ الاطلاع: 12 يناير 2019
- Dalchau, N.; Phillips, A.; Goldstein, L. D.; Howarth, M.; Cardelli, L.; Emmott, S.; Elliott, T.; Werner, J. M. (2011). Chakraborty, Arup K (المحرر). "A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization". PLoS Computational Biology. 7 (10): e1002144. doi:10.1371/journal.pcbi.1002144. PMC . PMID 22022238.
- Cardelli, L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys. 28 (4es): 150. doi:10.1145/242224.242415. مؤرشف من الأصل في 10 يونيو 2019.
- Cardelli, Luca; Wegner, Peter (December 1985). "On understanding types, data abstraction, and polymorphism" ( كتاب إلكتروني PDF ). ACM Computing Surveys. New York, NY, USA: رابطة مكائن الحوسبة. 17 (4): 471–523. doi:10.1145/6041.6042. ISSN 0360-0300. مؤرشف من الأصل ( كتاب إلكتروني PDF ) في 14 أكتوبر 2019.
- Luca Cardelli at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server
- List of publications from Microsoft Academic Search
- منشورات لوقا كارديلي مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
- Abadi, M.; Cardelli, L.; Curien, P. L.; Levy, J. J. (1990). "Explicit substitutions". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. صفحة 31. doi:10.1145/96709.96712. .
- Cardelli, Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. مؤرشف من الأصل في 02 يونيو 2016.
- McIlroy, M. D. (1987). A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986 ( كتاب إلكتروني PDF ) (Technical report). Bell Labs. 139. مؤرشف من الأصل ( كتاب إلكتروني PDF ) في 30 نوفمبر 2019.
- The AITO Dahl-Nygaard Prize Winners for 2007 - تصفح: نسخة محفوظة 13 يوليو 2017 على موقع واي باك مشين.