لوقا كارديلي

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

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

التعليم

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

الجوائز

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

المراجع
  1. http://viaf.org/viaf/71562846/#Cardelli,_Luca.
  2. https://www.ae-info.org/ae/User/Cardelli_Luca
  3. "CARDELLI, Luca"، Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press، مؤرشف من الأصل في 30 سبتمبر 2020.(الاشتراك مطلوب)
  4. لوقا كارديلي في شجرة علماء الرياضيات
  5. http://editors.eptcs.org/ — تاريخ الاطلاع: 4 يوليو 2020
  6. https://orcid.org/0000-0002-8705-8488 — تاريخ الاطلاع: 6 يناير 2019
  7. http://orcid.org/0000-0002-8705-8488 — تاريخ الاطلاع: 12 يناير 2019
  8. 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.
  10. Cardelli, L. (1996)، "Bad engineering properties of object-orient languages"، ACM Computing Surveys، 28 (4es): 150، doi:10.1145/242224.242415، مؤرشف من الأصل في 10 يونيو 2019.
  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) في 14 أكتوبر 2019. {{استشهاد بدورية محكمة}}: الوسيط |ref=harv غير صالح (مساعدة)
  12. قالب:ACMPortal
  13. Luca Cardelli at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server
  14. List of publications from Microsoft Academic Search
  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، مؤرشف من الأصل في 02 يونيو 2016.
  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) في 30 نوفمبر 2019.
  19. The AITO Dahl-Nygaard Prize Winners for 2007 نسخة محفوظة 13 يوليو 2017 على موقع واي باك مشين.

روابط خارجيّة
  • بوابة علم الحاسوب
  • بوابة أعلام
  • بوابة تقنية المعلومات
  • بوابة إيطاليا
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.