لوقا كارديلي
لوقا أندريه كارديلي (بالإنجليزية: Luca Andrea Cardelli)، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في أبحاث ميكروسوفت في كامبريدج، المملكة المتّحدة.[1][4] وَعُرِف بسبب بحثه في نظرية النمط وَالدلالات العملياتية.[5][6] وقد ساهم في تصميم مودولا-3، وَنفّذ أوّل مجمّع للغة إم إل الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة سي شارب عديدة الأصوات (بالإنجليزية: Polyphonic C sharp).[2][7][8][9][10][11]
لوقا أندريه كارديلي | |
---|---|
Luca Andrea Cardelli | |
معلومات شخصية | |
اسم الولادة | Luca Andrea Cardelli |
مكان الميلاد | مونتيكاتيني تيرمي، إيطاليا |
الإقامة | كامبريدج، المملكة المتّحدة |
الحياة العملية | |
المؤسسات | مختبرات بل أبحاث ميكروسوفت شركة معدّات رقميّة جامعة إدنبرة |
الأطروحات | مسعىً جبريّ لوصف والتحقّق من العَتَاد (بالإنجليزية: An algebraic approach to hardware description and verification) 1982 |
المدرسة الأم | جامعة بيزا[1] جامعة إدنبرة |
تعلم لدى | غوردن بلاتكن[3] |
التلامذة المشهورون | أليكساندر سامرز[3] |
مجال العمل | نظرية النمط دلالات عملياتية |
سبب الشهرة | نظريّة الكائنات (بالإنجليزية: Theory of Objects)[2] مع مارتن عبادي |
الجوائز | |
زمالة الجمعية الملكية (2005) جائزة دال-نيغارد (2007) رابطة مكائن الحوسبة |
|
المواقع | |
الموقع | lucacardelli |
تعديل مصدري - تعديل ![]() |
التعليم
وُلد في مونتيكاتيني تيرمي، إيطاليا. وارتاد جامعة بيزا[1] قبل أن يتلقّى الدكتوراه[12] من جامعة إدنبرة في عام 1982 وذلك قبل أن ينضم لأبحاث ميكروسوفت في عام 1997، وعمل لحساب مختبرات بل وَشركة معدات تقنية،[1] وساهم في برمجيَّة يونكس مُتضمَّنة فيزمون(vismon).[13]
الجوائز
في 2004، أصبح عضوًا في رابطة مكائن الحوسبة. وهو أيضًا عضو في الجمعية الملكية. وفي 2007، فاز بجائزة دال-نيغارد الشَرَفيّة.[14]
المراجع
- ^ أ ب ت ث "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.
- ^ أ ب لوقا كارديلي في شجرة علماء الرياضيات
- ^ 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.
- ^ 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
- ^ {{DBLP}} template missing ID and not present in Wikidata.
- ^ List of publications from Microsoft Academic Search
- ^ منشورات لوقا كارديلي مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
- ^ 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 على موقع واي باك مشين.