لوقا كارديلي
{{معلومات عالم
| الصورة = Cardelli Luca.jpg
| التعليق = 
| الاسم = لوقا أندريه كارديلي
| لغة الاسم الأصلي = [[لغة إيطالية]]
| الاسم الأصلي = Luca Andrea Cardelli
| اسم الولادة = Luca Andrea Cardelli
| تاريخ الولادة = 
| مكان الولادة = [[مونتيكاتيني تيرمي]]، [[إيطاليا]]
| الإقامة = [[كامبريدج|كامبريدج، المملكة المتّحدة]]
| الجنسية = 
| المجال = [[نظرية النمط]]<br />[[دلالات عملياتية]]
| أماكن العمل = [[مختبرات بل]]<br />[[أبحاث ميكروسوفت]]<br />[[ديجيتال إكوبمينت|شركة معدّات رقميّة]]<br />[[جامعة إدنبرة]]
| التخرج = [[جامعة بيزا]]<ref name="whoswho"/><br />[[جامعة إدنبرة]]
| عنوان الأطروحة = مسعىً جبريّ لوصف والتحقّق من العَتَاد {{إنج|An algebraic approach to hardware description and verification}} 
| وصلة الأطروحة = http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253190
| سنة الأطروحة = 1982
| اشتهر بـ = '''نظريّة الكائنات''' {{إنج|Theory of Objects}}<ref name="theoryofobjects"/> مع [[مارتن عبادي]]
| تأثر بـ = 
| أثر في = 
| المشرفون الأكاديميون = [[غوردن بلاتكن]]<ref name="mathgene">{{علم أنساب الرياضيات|id=115506}}</ref>
| التلاميذ المشهورون = أليكساندر سامرز<ref name="mathgene"/>
| الجوائز = [[زمالة الجمعية الملكية]] (2005)<br />[[جائزة دال-نيغارد]] (2007)<br />[[جمعية آلات الحوسبة|رابطة مكائن الحوسبة]]
| الموقع الإلكتروني = {{مسار|http://lucacardelli.name}}
| ملاحظات = 
}}

'''لوقا أندريه كارديلي''' {{إنج|Luca Andrea Cardelli}}، عضو في [[الجمعية الملكية]]، هو [[عالم حاسوب]] إيطاليّ وَنائب مدير في [[أبحاث ميكروسوفت]] في [[كامبريدج|كامبريدج، المملكة المتّحدة]].<ref name="whoswho">{{استشهاد ويب|مسار= https://www.ukwhoswho.com/view/10.1093/ww/9780199540884.001.0001/ww-9780199540884-e-244893;jsessionid=F1C93F41C624B44035A5C7E6BE86ABA3 |عنوان=CARDELLI, Luca |صيغة= |عمل=Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press |تاريخ الوصول=|مسار أرشيف= https://web.archive.org/web/20200930213231/https://www.ukwhoswho.com/view/10.1093/ww/9780199540884.001.0001/ww-9780199540884-e-244893;jsessionid=F1C93F41C624B44035A5C7E6BE86ABA3|تاريخ أرشيف=2020-09-30}}{{الاشتراك مطلوب| مسار الأرشيف = https://web.archive.org/web/20200217071832/https://www.ukwhoswho.com/view/10.1093/ww/9780199540884.001.0001/ww-9780199540884-e-244893 | تاريخ الأرشيف = 17 فبراير 2020 }}</ref><ref>{{استشهاد بدورية محكمة| الأخير1 = Dalchau | الأول1 = N. | الأخير2 = Phillips | الأول2 = A. | الأخير3 = Goldstein | الأول3 = L. D. | الأخير4 = Howarth | الأول4 = M. | الأخير5 = Cardelli | الأول5 = L. | مؤلف5-وصلة = Luca Cardelli| الأخير6 = Emmott | الأول6 = S. | مؤلف6-وصلة = Stephen Emmott| الأخير7 = Elliott | الأول7 = T. | الأخير8 = Werner | الأول8 = J. M. | محرر1-الأخير = Chakraborty | محرر1-الأول = Arup K | doi = 10.1371/journal.pcbi.1002144 | عنوان = A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization | صحيفة = PLoS Computational Biology | المجلد = 7 | العدد = 10 | صفحات = e1002144 | سنة = 2011 | pmid = 22022238 | pmc =3195949 }}</ref> وَعُرِف بسبب بحثه في [[نظرية النمط]] وَ[[دلالات عملياتية|الدلالات العملياتية]].<ref name="onunderstanding">{{استشهاد بدورية محكمة| الأخير1 = Cardelli | الأول1 = L. | مؤلف1-وصلة = Luca Cardelli| عنوان = Bad engineering properties of object-orient languages | doi = 10.1145/242224.242415 | صحيفة = ACM Computing Surveys | المجلد = 28 | العدد = 4es | صفحات = 150 | سنة = 1996 | مسار = http://lucacardelli.name/Papers/BadPropertiesOfOO.html| pmid =  | pmc = |مسار أرشيف= https://web.archive.org/web/20190610164531/http://lucacardelli.name:80/Papers/BadPropertiesOfOO.html|تاريخ أرشيف=2019-06-10}}</ref><ref name="badprop">{{استشهاد بدورية محكمة| الأخير1 = Cardelli | الأول1 = Luca| مؤلف1-وصلة = Luca Cardelli| الأخير2 = Wegner | الأول2 = Peter| مؤلف2-وصلة = Peter Wegner| doi = 10.1145/6041.6042| عنوان = On understanding types, data abstraction, and polymorphism| صحيفة = [[ACM Computing Surveys]]| issn = 0360-0300| المجلد = 17| العدد = 4| صفحات = 471–523| تاريخ=December 1985 | مسار = http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf| ناشر = [[جمعية آلات الحوسبة|رابطة مكائن الحوسبة]]| مكان = New York, NY, USA| ref = harv| مسار أرشيف = https://web.archive.org/web/20191014052030/http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf | تاريخ أرشيف = 14 أكتوبر 2019 }}</ref> وقد ساهم في تصميم [[مودولا-3]]، وَنفّذ أوّل [[مصرف (حوسبة)|مجمّع]] [[لغة برمجة|للغة]] [[إم إل (لغة برمجة|إم إل]] [[برمجة وظيفية|الوظيفيّة]]، وَعرَّف مفهوم ال[[برمجة كاملة النمط]]. وساعد في تطوير لغة البرمجة التجريبيّة [[سي شارب عديدة الأصوات]] {{إنج|Polyphonic C sharp}}.<ref name="theoryofobjects">{{استشهاد بكتاب|مؤلف1=Cardelli, Luca |مؤلف2=Abadi, Martín |عنوان=A theory of objects |مسار=https://archive.org/details/theoryofobjects0000abad |ناشر=Springer |مكان=Berlin |سنة=1996 |صفحات= |isbn=0-387-94775-2 |oclc= |doi= |تاريخ الوصول=}}</ref><ref name="acm">{{ACMPortal|id=81100123805}}</ref><ref name="dblp">{{DBLP|name=Luca Cardelli}}</ref><ref name="microsoft">{{AcademicSearch|1661217}}</ref><ref name="scopus">{{سكوبس|id=7004219785}}</ref><ref>{{استشهاد بكتاب| الأخير1 = Abadi | الأول1 = M. | مؤلف1-وصلة = Martín Abadi| الأخير2 = Cardelli | الأول2 = L. | مؤلف2-وصلة = Luca Cardelli| الأخير3 = Curien | الأول3 = P. L. | الأخير4 = Levy | الأول4 = J. J. | doi = 10.1145/96709.96712 | الفصل = Explicit substitutions | عنوان = Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages  - POPL '90 | صفحات = 31 | سنة = 1990 | isbn = 0897913434 | pmid =  | pmc = }}</ref>

== التعليم ==
وُلد في [[مونتيكاتيني تيرمي]]، [[إيطاليا]]. وارتاد [[جامعة بيزا]]<ref name="whoswho"/> قبل أن يتلقّى ال[[دكتوراه]]<ref name="cardelliphd">{{استشهاد بأطروحة|الدرجة=PhD |الأول=Luca|الأخير=Cardelli |عنوان=An algebraic approach to hardware description and verification |ناشر=University of Edinburgh |تاريخ=1982 |مسار= https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253190|مؤلف-وصلة=Luca Cardelli|مسار أرشيف= https://web.archive.org/web/20160602185329/http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253190|تاريخ أرشيف=2016-06-02}}</ref> من [[جامعة إدنبرة]] في عام 1982 وذلك قبل أن ينضم ل[[أبحاث ميكروسوفت]] في عام 1997، وعمل لحساب [[مختبرات بل]] وَ[[ديجيتال إكوبمينت|شركة معدات تقنية]]،<ref name="whoswho"/> وساهم في برمجيَّة [[يونكس]] مُتضمَّنة [[فيزمون]](vismon).<ref name="reader">{{استشهاد بتقرير فني|الأول1=M. D. |الأخير1=McIlroy |مؤلف1-وصلة=Doug McIlroy |سنة=1987 |مسار=https://www.cs.dartmouth.edu/~doug/reader.pdf |عنوان=A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986 |سلسلة=CSTR |العدد=139 |ناشر=Bell Labs| مسار أرشيف = https://web.archive.org/web/20191130000850/https://www.cs.dartmouth.edu/~doug/reader.pdf | تاريخ أرشيف = 30 نوفمبر 2019 }}</ref>

== الجوائز ==
في 2004، أصبح عضوًا في [[جمعية آلات الحوسبة|رابطة مكائن الحوسبة]]. وهو أيضًا عضو في [[الجمعية الملكية]]. وفي 2007، فاز [[جائزة دال-نيغارد|بجائزة دال-نيغارد]] الشَرَفيّة.<ref>[http://www.aito.org/Dahl-Nygaard/2007.html The AITO Dahl-Nygaard Prize Winners for 2007] {{Webarchive|url=https://web.archive.org/web/20170713200517/http://www.aito.org/Dahl-Nygaard/2007.html |date=13 يوليو 2017}}</ref>

== المراجع ==
{{مراجع|2}}

== روابط خارجيّة ==
* [http://www.computerworld.com.au/index.php/id;1422447371;fp;4194304;fpid;1 مقابلة عالم الحاسوب مع لوقا كارديلي]
{{زملاء الجمعية الملكية 2005}}
{{ضبط استنادي}}
{{روابط شقيقة|commons=Luca Cardelli}}
{{شريط بوابات|أعلام|إيطاليا|تقانة المعلومات|علم الحاسوب|علوم}}

{{بذرة عالم حاسوب إيطالي}}

[[تصنيف:أشخاص في مجال تكنولوجيا النانو دي إن إيه]]
[[تصنيف:أشخاص أحياء]]
[[تصنيف:خريجو جامعة إدنبرة]]
[[تصنيف:زملاء الجمعية الملكية]]
[[تصنيف:زملاء رابطة مكائن الحوسبة]]
[[تصنيف:علماء حاسوب إيطاليون]]
لوقا أندريه كارديلي ، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في أبحاث ميكروسوفت في كامبريدج، المملكة المتّحدة. وَعُرِف بسبب بحثه في نظرية النمط وَالدلالات العملياتية. وقد ساهم في تصميم مودولا-3، وَنفّذ أوّل مجمّع للغة إم إل الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة سي شارب عديدة الأصوات .

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

 الجوائز 
في 2004، أصبح عضوًا في رابطة مكائن الحوسبة. وهو أيضًا عضو في الجمعية الملكية. وفي 2007، فاز بجائزة دال-نيغارد الشَرَفيّة.The AITO Dahl-Nygaard Prize Winners for 2007 

 المراجع 

 روابط خارجيّة 
 مقابلة عالم الحاسوب مع لوقا كارديلي

تصنيف:أشخاص في مجال تكنولوجيا النانو دي إن إيه
تصنيف:أشخاص أحياء
تصنيف:خريجو جامعة إدنبرة
تصنيف:زملاء الجمعية الملكية
تصنيف:زملاء رابطة مكائن الحوسبة
تصنيف:علماء حاسوب إيطاليون