لوقا كارديلي
لوقا أندريه كارديلي (بالإنجليزية: Luca Andrea Cardelli)، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في أبحاث ميكروسوفت في كامبريدج، المملكة المتّحدة.[3][9] وَعُرِف بسبب بحثه في نظرية النمط وَالدلالات العملياتية.[10][11] وقد ساهم في تصميم مودولا-3، وَنفّذ أوّل مجمّع للغة إم إل الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة سي شارب عديدة الأصوات (بالإنجليزية: Polyphonic C sharp).[4][12][13][14][15][16]
لوقا أندريه كارديلي | |
---|---|
Luca Andrea Cardelli | |
معلومات شخصية | |
اسم الولادة | Luca Andrea Cardelli |
الميلاد | سنة 1954 (العمر 69–70 سنة) مونتيكاتيني تيرمي، إيطاليا |
الإقامة | كامبريدج، المملكة المتّحدة |
مواطنة | إيطاليا |
عضو في | الجمعية الملكية، وجمعية آلات الحوسبة[1]، وأكاديمية أوروبيا[2] |
الحياة العملية | |
المؤسسات | مختبرات بل أبحاث ميكروسوفت شركة معدّات رقميّة جامعة إدنبرة |
الأطروحات | مسعىً جبريّ لوصف والتحقّق من العَتَاد (بالإنجليزية: An algebraic approach to hardware description and verification) 1982 |
المدرسة الأم | جامعة بيزا[3] جامعة إدنبرة |
تعلم لدى | غوردن بلاتكن[5] |
التلامذة المشهورون | أليكساندر سامرز[5] |
المهنة | عالم حاسوب[6]، ومهندس |
اللغات | الإيطالية |
مجال العمل | نظرية النمط دلالات عملياتية |
موظف في | ديجيتال إكوبمينت[7]، وجامعة أكسفورد[7][6]، وجامعة بنسيلفانيا[8] |
سبب الشهرة | نظريّة الكائنات (بالإنجليزية: Theory of Objects)[4] مع مارتن عبادي |
الجوائز | |
زمالة الجمعية الملكية (2005) جائزة دال-نيغارد (2007) رابطة مكائن الحوسبة |
|
المواقع | |
الموقع | lucacardelli |
تعديل مصدري - تعديل |
التعليم
عدلوُلد في مونتيكاتيني تيرمي، إيطاليا. وارتاد جامعة بيزا[3] قبل أن يتلقّى الدكتوراه[17] من جامعة إدنبرة في عام 1982 وذلك قبل أن ينضم لأبحاث ميكروسوفت في عام 1997، وعمل لحساب مختبرات بل وَشركة معدات تقنية،[3] وساهم في برمجيَّة يونكس مُتضمَّنة فيزمون(vismon).[18]
الجوائز
عدلفي 2004، أصبح عضوًا في رابطة مكائن الحوسبة. وهو أيضًا عضو في الجمعية الملكية. وفي 2007، فاز بجائزة دال-نيغارد الشَرَفيّة.[19]
المراجع
عدل- ^ https://awards.acm.org/fellows/award-recipients. اطلع عليه بتاريخ 2024-06-23.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ https://www.ae-info.org/ae/User/Cardelli_Luca.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ ا ب ج د "CARDELLI, Luca". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press. مؤرشف من الأصل في 2020-09-30.(الاشتراك مطلوب)
- ^ ا ب Cardelli, Luca؛ Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN:0-387-94775-2.
- ^ ا ب لوقا كارديلي في شجرة علماء الرياضيات
- ^ ا ب http://editors.eptcs.org/. اطلع عليه بتاريخ 2020-07-04.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ https://orcid.org/0000-0002-8705-8488. اطلع عليه بتاريخ 2019-01-06.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
- ^ 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) - ^ Cardelli، L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys. ج. 28 ع. 4es: 150. DOI:10.1145/242224.242415. مؤرشف من الأصل في 2019-06-10.
- ^ 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
غير صالح (مساعدة) - ^ قالب:ACMPortal
- ^ Luca Cardelli at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server
- ^ قائمة النشرات من البحث الأكاديمي في مايكروسوفت [الإنجليزية]
- ^ منشورات لوقا كارديلي مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
- ^ 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.
- ^ Cardelli، Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. مؤرشف من الأصل في 2016-06-02.
- ^ 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.
- ^ The AITO Dahl-Nygaard Prize Winners for 2007 نسخة محفوظة 13 يوليو 2017 على موقع واي باك مشين.
روابط خارجيّة
عدللوقا كارديلي في المشاريع الشقيقة: | |
|