لوقا كارديلي

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

لوقا أندريه كارديلي (بالإنجليزية: Luca Andrea Cardelli)‏، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في أبحاث ميكروسوفت في كامبريدج، المملكة المتّحدة.[3][9] وَعُرِف بسبب بحثه في نظرية النمط وَالدلالات العملياتية.[10][11] وقد ساهم في تصميم مودولا-3، وَنفّذ أوّل مجمّع للغة إم إل الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة سي شارب عديدة الأصوات (بالإنجليزية: Polyphonic C sharp)‏.[4][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. ^ ا ب ج د "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. ^ ا ب Cardelli, Luca؛ Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN:0-387-94775-2.
  5. ^ ا ب لوقا كارديلي في شجرة علماء الرياضيات
  6. ^ ا ب http://editors.eptcs.org/. اطلع عليه بتاريخ 2020-07-04. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  7. ^ https://orcid.org/0000-0002-8705-8488. اطلع عليه بتاريخ 2019-01-06. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  8. ^ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
  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  تعديل قيمة خاصية (P2456) في ويكي بيانات
  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 على موقع واي باك مشين.

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

[عدل]
أيقونة بذرة

هذه بذرة مقالة عن عالم حاسوب إيطالي بحاجة للتوسيع. فضلًا شارك في تحريرها.