لوقا كارديلي

من دار الحكمة
اذهب إلى التنقلاذهب الى البحث
لوقا أندريه كارديلي
Luca Andrea Cardelli
معلومات شخصية
اسم الولادة Luca Andrea Cardelli
الميلاد سنة 1954 (العمر 70–71 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
مونتيكاتيني تيرمي، إيطاليا
الإقامة كامبريدج، المملكة المتّحدة
مواطنة إيطاليا تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في الجمعية الملكية، وجمعية آلات الحوسبة[1]، وأكاديمية أوروبيا[2]، وUK Computing Research Committee  [لغات أخرى]‏[3]  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المؤسسات مختبرات بل
أبحاث ميكروسوفت
شركة معدّات رقميّة
جامعة إدنبرة
الأطروحات مسعىً جبريّ لوصف والتحقّق من العَتَاد (بالإنجليزية: An algebraic approach to hardware description and verification)‏ 1982
المدرسة الأم جامعة بيزا[4]
جامعة إدنبرة
مشرف الدكتوراه Gordon Plotkin  [لغات أخرى]‏  تعديل قيمة خاصية (P184) في ويكي بيانات
تعلم لدى غوردن بلاتكن[6]
طلاب الدكتوراه Alexander J. Summers  [لغات أخرى]‏، وMichael Austin Boemo  [لغات أخرى]‏  تعديل قيمة خاصية (P185) في ويكي بيانات
التلامذة المشهورون أليكساندر سامرز[6]
المهنة عالم حاسوب[7]، ومهندس  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الإيطالية  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل نظرية النمط
دلالات عملياتية
موظف في ديجيتال إكوبمينت[8]، وجامعة أكسفورد[8][7]، وMicrosoft Research, United Kingdom  [لغات أخرى]‏[9]، وجامعة بنسيلفانيا[10]  تعديل قيمة خاصية (P108) في ويكي بيانات
سبب الشهرة نظريّة الكائنات (بالإنجليزية: Theory of Objects)‏[5] مع مارتن عبادي
الجوائز
زمالة الجمعية الملكية (2005)
جائزة دال-نيغارد (2007)
رابطة مكائن الحوسبة
المواقع
الموقع lucacardelli.name
تعديل مصدري - تعديل  طالع توثيق القالب

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

التعليم

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

الجوائز

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

المراجع

  1. ↑ https://awards.acm.org/fellows/award-recipients. اطلع عليه بتاريخ 27 أبريل 2025. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة)، الوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)، وتحقق من التاريخ في: |accessdate= (مساعدة)
  2. ↑ https://www.ae-info.org/ae/User/Cardelli_Luca. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  3. ↑ https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  4. ↑ 4٫0 4٫1 4٫2 4٫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.(الاشتراك مطلوب)
  5. ↑ 5٫0 5٫1 Cardelli, Luca؛ Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN:0-387-94775-2.
  6. ↑ 6٫0 6٫1 لوقا كارديلي في شجرة علماء الرياضيات
  7. ↑ 7٫0 7٫1 http://editors.eptcs.org/. اطلع عليه بتاريخ 27 أبريل 2025. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة)، الوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)، وتحقق من التاريخ في: |accessdate= (مساعدة)
  8. ↑ https://orcid.org/0000-0002-8705-8488. اطلع عليه بتاريخ 27 أبريل 2025. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة)، الوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)، وتحقق من التاريخ في: |accessdate= (مساعدة)
  9. ↑ Angel Montenegro (27 Apr 2025), ORCID Public Data File 2023 (بEnglish), DOI:10.23640/07243.24204912.V1, QID:Q123508386
  10. ↑ Angel Montenegro (27 Apr 2025), ORCID Public Data File 2023 (بEnglish), DOI:10.23640/07243.24204912.V1, QID:Q123508386
  11. ↑ 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)
  12. ↑ Cardelli، L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys. ج. 28 ع. 4es: 150. DOI:10.1145/242224.242415. مؤرشف من الأصل في 2019-06-10.
  13. ↑ 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 غير صالح (مساعدة)
  14. ↑ قالب:ACMPortal
  15. ↑ Luca Cardelli at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server  تعديل قيمة خاصية (P2456) في ويكي بيانات
  16. ↑ قائمة النشرات من البحث الأكاديمي في مايكروسوفت  [لغات أخرى]‏
  17. ↑ منشورات لوقا كارديلي مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
  18. ↑ 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.
  19. ↑ Cardelli، Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. مؤرشف من الأصل في 2016-06-02.
  20. ↑ 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.
  21. ↑ The AITO Dahl-Nygaard Prize Winners for 2007 نسخة محفوظة 13 يوليو 2017 على موقع واي باك مشين.

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

أيقونة بذرة

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

مجلوبة من «https://daralhikma.org/index.php?title=لوقا_كارديلي&oldid=1130391»