جورج نيكولا

الموسوعة الحرة

جورج سيبريان نيكولا عالم حاسوب روماني ، ومهندس في جوجل ، وأستاذ سابق في جامعة كاليفورنيا، بيركلي، يُجري أبحاثًا في مجال لغات البرمجة وهندسة البرمجيات ، مع تركيز خاص على التحقق من البرمجيات والأساليب الرسمية . اشتهر بأطروحته للدكتوراه التي وصف فيها لأول مرة مفهوم "الرمز الحامل للبرهان" [ 1 ]، وهو عمل حاز على جائزة SIGPLAN لأكثر أوراق POPL تأثيرًا لعام 2007 [ 2 ] .

الحياة والعمل

ينحدر نيكولا من بايا ماري ، رومانيا ، [ 3 ] وحصل على بكالوريوس في علوم الحاسوب (1992) من جامعة بوخارست التقنية . ثم انتقل إلى جامعة كارنيجي ميلون في الولايات المتحدة، حيث أكمل دراسته العليا وحصل على ماجستير ودكتوراه في علوم الحاسوب (1995) تحت إشراف الباحث في لغات البرمجة بيتر لي . وقدّم في أطروحته للدكتوراه مفهوم "الرمز الحامل للإثبات" ، الذي كان له أثر بالغ كآلية تسمح بتشغيل برامج الآلة غير الموثوقة بأمان دون أي تأثير سلبي على الأداء. وانضم إلى هيئة التدريس في جامعة كاليفورنيا، بيركلي عام 1998.

في الآونة الأخيرة، ركز عمل نيكولا على أدوات التحليل والتحقق والتحويل مفتوحة المصدر للغة C ، بما في ذلك لغة C الوسيطة (CIL) وCCured.ونائب.

لغة سي المتوسطة

لغة C الوسيطة (CIL) هي مجموعة فرعية مبسطة من لغة البرمجة C ، بالإضافة إلى كونها مجموعة أدوات لتحويل برامج C إلى تلك اللغة. [ 4 ] [ 5 ] [ 6 ] تستخدم العديد من الأدوات الأخرى لغة CIL كوسيلة للوصول إلى شجرة بناء جملة C المجردة . أحد هذه البرامج هو Frama-C (إطار عمل لتحليل برامج C).

الجوائز

نيكولا زميل في مؤسسة أوكاوا ومؤسسة ألفريد ب. سلون (انظر زمالة سلون ). حصل على جائزة غريس موراي هوبر عام 2001، [ 7 ] وجائزة مؤسسة العلوم الوطنية للباحثين المتميزين عام 1999، [ 8 ] وجائزة قاعة مشاهير ACM SIGOPS عام 2006. [ 9 ] وفي عام 2016، أصبح عضوًا متميزًا في ACM . [ 10 ]

مراجع

  1. ↑ جورج سي. نيكولا. التجميع باستخدام البراهين . أطروحة دكتوراه، كلية علوم الحاسوب، جامعة كارنيجي ميلون، سبتمبر 1998.
  2. ↑ سيغبلان (24 يناير 2010). "جائزة أكثر ورقة بحثية مؤثرة في مجال البرمجة اللغوية العامة" . جمعية آلات الحوسبة. مؤرشف من الأصل بتاريخ 2 أغسطس 2009. تم الاطلاع عليه بتاريخ 2 فبراير 2010 .
  3. ^ جورج نيكولا (ربيع 2010). "الصفحة الرئيسية لجورج نيكولا" . تم الاسترجاع 2010-02-03 .
  4. ↑ جورج سي. نيكولا؛ سكوت ماكبيك؛ شري براكاش راهول؛ ويستلي وايمر (2002). CIL: لغة وسيطة وأدوات لتحليل وتحويل برامج C. وقائع المؤتمر الدولي الحادي عشر حول بناء المترجمات. سبرينغر. الصفحات 213-228 . ISBN  3-540-43369-4.
  5. ↑ "GitHub - cil-project/Cil: C Intermediate Language" . GitHub .
  6. ↑ http://portal.acm.org/citation.cfm?id=727796 CIL: لغة وسيطة وأدوات لتحليل وتحويل برامج C، سلسلة محاضرات في علوم الحاسوب؛ المجلد 2304، وقائع المؤتمر الدولي الحادي عشر حول بناء المترجمات، الصفحات: 213-228، سنة النشر: 2002، رقم ISBN 3-540-43369-4
  7. ↑ جمعية آلات الحوسبة (2001). "شهادة تقدير جائزة جمعية آلات الحوسبة / جورج نيكولا" . مؤرشف من الأصل بتاريخ 19 أبريل 2012. تم الاطلاع عليه بتاريخ 2 فبراير 2010 .
  8. ↑ المؤسسة الوطنية للعلوم (22 يونيو 2002). "ملخص الجائزة رقم 9875171 - CAREER: منهج قائم على المنطق لسلامة وأمن أنظمة البرمجيات" . تم الاطلاع عليه بتاريخ 2 فبراير 2010 .
  9. ↑ جمعية آلات الحوسبة (2010). "جائزة قاعة مشاهير SIGOPS" . تم الاطلاع عليه بتاريخ 2010-02-02 .
  10. ↑ جيم أورموند (30 نوفمبر 2016). "جمعية آلات الحوسبة تُكرّم أعضاءً متميزين لابتكاراتهم الحاسوبية التي تُغيّر المجتمع: اختيار أعضاء عام 2016 لإنجازاتهم الفردية التي تُوسّع الآفاق العلمية وتُعزّز العصر الرقمي" . جمعية آلات الحوسبة . تاريخ الاسترجاع: 12 يناير 2026 .