لوقا كارديلي

لوقا أندريه كارديلي (بالإنجليزية: Luca Andrea Cardelli)‏، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في أبحاث ميكروسوفت في كامبريدج، المملكة المتّحدة.[2][8] وَعُرِف بسبب بحثه في نظرية النمط وَالدلالات العملياتية.[9][10] وقد ساهم في تصميم مودولا-3، وَنفّذ أوّل مجمّع للغة إم إل الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة سي شارب عديدة الأصوات (بالإنجليزية: Polyphonic C sharp)‏.[7][11][12][13][14][15]

لوقا أندريه كارديلي
Luca Andrea Cardelli
معلومات شخصية
اسم الولادة Luca Andrea Cardelli
الميلاد 1954
مونتيكاتيني تيرمي، إيطاليا
الإقامة كامبريدج، المملكة المتّحدة
مواطنة إيطاليا  
عضو في الجمعية الملكية ،  وجمعية آلات الحوسبة ،  والأكاديمية الأوروبية [1] 
الحياة العملية
المؤسسات مختبرات بل
أبحاث ميكروسوفت
شركة معدّات رقميّة
جامعة إدنبرة
الأطروحات مسعىً جبريّ لوصف والتحقّق من العَتَاد (بالإنجليزية: An algebraic approach to hardware description and verification)‏ 1982
المدرسة الأم جامعة بيزا[2]
جامعة إدنبرة
تعلم لدى غوردن بلاتكن[3]
التلامذة المشهورون أليكساندر سامرز[3]
المهنة عالم حاسوب [4]،  ومهندس  
مجال العمل نظرية النمط
دلالات عملياتية
موظف في جامعة أوكسفورد [5][6][4]،  وديجيتال إكوبمينت [5] 
سبب الشهرة نظريّة الكائنات (بالإنجليزية: Theory of Objects)‏[7] مع مارتن عبادي
الجوائز
زمالة الجمعية الملكية (2005)
جائزة دال-نيغارد (2007)
رابطة مكائن الحوسبة
المواقع
الموقع lucacardelli.name

التعليم

وُلد في مونتيكاتيني تيرمي، إيطاليا. وارتاد جامعة بيزا[2] قبل أن يتلقّى الدكتوراه[16] من جامعة إدنبرة في عام 1982 وذلك قبل أن ينضم لأبحاث ميكروسوفت في عام 1997، وعمل لحساب مختبرات بل وَشركة معدات تقنية،[2] وساهم في برمجيَّة يونكس مُتضمَّنة فيزمون(vismon).[17]

الجوائز

في 2004، أصبح عضوًا في رابطة مكائن الحوسبة. وهو أيضًا عضو في الجمعية الملكية. وفي 2007، فاز بجائزة دال-نيغارد الشَرَفيّة.[18]

المراجع
  1. https://www.ae-info.org/ae/User/Cardelli_Luca
  2. "CARDELLI, Luca". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press. الوسيط |CitationClass= تم تجاهله (مساعدة)(الاشتراك مطلوب)
  3. لوقا كارديلي في شجرة علماء الرياضيات
  4. http://editors.eptcs.org/ — تاريخ الاطلاع: 4 يوليو 2020
  5. https://orcid.org/0000-0002-8705-8488 — تاريخ الاطلاع: 6 يناير 2019
  6. http://orcid.org/0000-0002-8705-8488 — تاريخ الاطلاع: 12 يناير 2019
  7. Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN 0-387-94775-2. الوسيط |CitationClass= تم تجاهله (مساعدة)
  8. 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 3195949. PMID 22022238. الوسيط |CitationClass= تم تجاهله (مساعدة)
  9. Cardelli, L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys. 28 (4es): 150. doi:10.1145/242224.242415. مؤرشف من الأصل في 10 يونيو 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  10. 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. الوسيط |CitationClass= تم تجاهله (مساعدة)CS1 maint: ref=harv (link)
  11. قالب:ACMPortal
  12. Luca Cardelli at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server
  13. List of publications from Microsoft Academic Search
  14. منشورات لوقا كارديلي مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
  15. 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. ISBN 0897913434. الوسيط |CitationClass= تم تجاهله (مساعدة)
  16. Cardelli, Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. مؤرشف من الأصل في 02 يونيو 2016. الوسيط |CitationClass= تم تجاهله (مساعدة)
  17. 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. الوسيط |CitationClass= تم تجاهله (مساعدة)
  18. The AITO Dahl-Nygaard Prize Winners for 2007 نسخة محفوظة 13 يوليو 2017 على موقع واي باك مشين.

    روابط خارجيّة
    • بوابة أعلام
    • بوابة تقنية المعلومات
    • بوابة إيطاليا
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.