لوقا كارديلي

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

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

التعليم

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

الجوائز

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

المراجع

  1. ↑ https://awards.acm.org/fellows/award-recipients. اطلع عليه بتاريخ 2024-06-23. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  2. ↑ https://www.ae-info.org/ae/User/Cardelli_Luca. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  3. 1 2 3 4 "CARDELLI, Luca". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press. مؤرشف من الأصل في 2020-09-30.(الاشتراك مطلوب)
  4. 1 2 لوقا كارديلي في شجرة علماء الرياضيات
  5. 1 2 http://editors.eptcs.org/. اطلع عليه بتاريخ 2020-07-04. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  6. 1 2 https://orcid.org/0000-0002-8705-8488. اطلع عليه بتاريخ 2019-01-06. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  7. ↑ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
  8. 1 2 Cardelli, Luca؛ Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN:0-387-94775-2.
  9. ↑ 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.{{استشهاد بدورية محكمة}}: صيانة الاستشهاد: دوي مجاني غير معلم (link)
  10. ↑ Cardelli، L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys. ج. 28 ع. 4es: 150. DOI:10.1145/242224.242415. مؤرشف من الأصل في 2019-06-10.
  11. ↑ Cardelli، Luca؛ Wegner، Peter (ديسمبر 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) في 2019-10-14. {{استشهاد بدورية محكمة}}: الوسيط |ref=harv غير صالح (مساعدة)
  12. ↑ قالب:ACMPortal
  13. ↑ Luca Cardelli at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server 
  14. ↑ قائمة النشرات من البحث الأكاديمي في مايكروسوفت ‏
  15. ↑ منشورات لوقا كارديلي مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
  16. ↑ 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.
  17. ↑ Cardelli، Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. مؤرشف من الأصل في 2016-06-02.
  18. ↑ McIlroy، M. D. (1987). A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986 (PDF) (Technical report). CSTR. Bell Labs. مؤرشف من الأصل (PDF) في 2019-11-30.
  19. ↑ The AITO Dahl-Nygaard Prize Winners for 2007 نسخة محفوظة 13 يوليو 2017 على موقع واي باك مشين.

روابط خارجيّة

هذه المقالة صادرة عن Wikipedia. النص متاح تحت رخصة المشاع الإبداعي - الإسناد - الترخيص بالمثل. قد تُطبَّق شروط إضافية على ملفات الوسائط.