ريتشارد بورنات

📅 آخر تحديث: ٢٩ يوليو ٢٠٢٦
✍️ نُشر في: ٢٩ يوليو ٢٠٢٦
الموسوعة الحرة

كان ريتشارد بورنات (29 يونيو 1944 - 8 يناير 2026) مؤلفًا وباحثًا بريطانيًا في مجال علوم الحاسوب . شغل منصب أستاذ برمجة الحاسوب في جامعة ميدلسكس ، وقبل ذلك عمل في جامعة كوين ماري بلندن .

خلفية

كان بورنات ابن تشارلز بورنات، وهو مهندس معماري إنجليزي. [ 1 ] من عام 1977 إلى عام 2002، عمل ريتشارد أكاديمياً في جامعة كوين ماري بلندن . ثم انتقل إلى جامعة ميدلسكس .

بحث

شملت اهتمامات بورنات البحثية إثبات البرامج في منطق الفصل . وينصب تركيزه على البراهين نفسها، بدلاً من أي أسس منطقية. وقد انصب جزء كبير من عمله على اكتشاف طرق لتحديد خصائص الوحدات المستقلة بطريقة تجعل تركيبها في أنظمة مفيدة أمراً ممكناً.

قام بورنات (بالاشتراك مع برنارد سوفرين من مختبر الحوسبة بجامعة أكسفورد [ 2 ] ) بتطوير Jape ، وهو "حاسبة إثبات"؛ وقد شارك في البحث حول قابلية استخدام هذه الأداة لاستكشاف البراهين الجديدة.

كان من بين طلاب الدكتوراه الذين أشرف عليهم ريتشارد بورنات سامسون أبرامسكي في أوائل الثمانينيات.

في عام ٢٠٠٤، طوّر أحد طلاب بورنات اختبارًا للكفاءة يهدف إلى "تصنيف الأشخاص إلى مبرمجين وغير مبرمجين قبل حتى أن يتعرفوا على البرمجة". أُجري الاختبار لأول مرة على مجموعة من الطلاب عام ٢٠٠٥ خلال تجربة حول استخدام النماذج الذهنية في البرمجة. [ ٣ ] وفي عامي ٢٠٠٨ و٢٠١٤، تراجع بورنات جزئيًا عن بعض ادعاءاته، [ ٤ ] مشككًا في مصداقيته كاختبار لقدرات البرمجة. [ ٥ ]

على مدى السنوات القليلة الماضية، عمل بورنات على البرمجة الكمومية. قام بتنفيذ Qtpi، الذي يعتمد على CQP (العمليات الكمومية المتصلة) لـ Gay و Nagarajan، باستخدام OCaml.

المنشورات

نشر بورنات كتابًا بعنوان "فهم وكتابة المترجمات: دليل عملي" (صدر لأول مرة عام 1979)، والذي يُعدّ من أشمل المراجع في مجال تطوير المترجمات . ورغم نفاد طبعاته منذ فترة، فقد أتاح بورنات نسخة إلكترونية منه. [ 6 ]

ومن بين المنشورات الأخرى الصادرة عن دار بورنات:

  • ر. بورنات؛ 1987؛ البرمجة من المبادئ الأولى ؛ سلسلة برنتيس هول الدولية في علوم الحاسوب ؛ رقم ISBN 0-13-729104-3.
  • ريتشارد بورنات وهارولد ثيمبلبي ؛ 1989؛ حياة وأزمنة ded، محرر العرض؛ في جيه بي لونغ وإيه وايتفيلد (محرران)؛ بيئة العمل المعرفية والتفاعل بين الإنسان والحاسوب؛ مطبعة جامعة كامبريدج ؛ الصفحات  225-255.
  • ريتشارد بورنات وبرنارد سوفرين ؛ 1999؛ تحريك البرهان الرسمي على السطح: حاسبة البرهان {Jape}؛ مجلة الكمبيوتر ؛ المجلد 42؛ العدد 3؛ الصفحات  177-192.
  • أكسيل، جيه سي، فونغ، بي، بورنات، آر، أوليفر، إم، أوشيا، تي، وسوفرين، بي؛ 1999؛ تأثيرات تصميم البرمجيات على الاستدلال الرسمي؛ في بريستر، إس، كاوسي، إيه، وكوكتون، جي (محررون) وقائع المؤتمر الدولي الثالث عشر للجنة التقنية 13 التابعة للاتحاد الدولي لمعالجة المعلومات حول التفاعل بين الإنسان والحاسوب INTERACT '99؛ المجلد 2؛ الصفحات  3-4؛ سويندون، المملكة المتحدة، الجمعية البريطانية للحاسبات ؛ ISBN 1-902505-19-0.
  • R. Bornat؛ 2000؛ إثبات برامج المؤشر في منطق هوار؛ في Backhouse & Oliveira (محرران) MPC 2000؛ LNCS 1837؛ ص  102-126.
  • سي. كالكانيو، بي. أوهيرن ، آر. بورنات؛ 2002؛ منطق البرنامج والتكافؤ في وجود جمع البيانات المهملة. سيُنشر في عدد خاص من مجلة علوم الحاسوب النظرية حول الأسس .
  • R. Bornat, J. Boender, F. Kammueller, G. Poly and R. Nagarajan; 2020; وصف ومحاكاة الأنظمة الكمومية المتزامنة ، ورقة عرض الأدوات، في TACAS '20: المؤتمر الدولي السادس والعشرون حول الأدوات والخوارزميات لبناء وتحليل الأنظمة، دبلن، أيرلندا، 25-30 أبريل 2020. سلسلة محاضرات في علوم الحاسوب.
  • بورنات، ر.، ناجاراجان، ر.؛ (2023)؛ وصف وتحريك البروتوكولات الكمومية، في: بالميجيانو، أ.، صدر زاده، م. (محرران)، سامسون أبرامسكي حول المنطق والبنية في علوم الحاسوب وما وراءها. مساهمات بارزة في المنطق، المجلد 25. سبرينغر، تشام.

كما ألقى محاضرات شيقة. [ 7 ] [ 8 ]

مراجع

  1. ↑ «تشارلز بورنات» . موسوعة السير الذاتية الشيوعية . غراهام ستيفنسون . ١٩ سبتمبر ٢٠٠٨. مؤرشف من الأصل في ١٤ أغسطس ٢٠٢٤. تم الاطلاع عليه في ١٢ يناير ٢٠٢٦ .
  2. ↑ سوفرين، برنارد (9 يونيو 2009). "ريتشارد يفضح ثرثرة - لريتشارد بورنات، ألديبورغ، 9 يونيو 2009" (ملف PDF) . المملكة المتحدة: جامعة أكسفورد . تاريخ الاطلاع: 16 يناير 2026 .
  3. ↑ دهنادي، سعيد؛ بورنات، ريتشارد (20 فبراير 2006). "للجمل سنامين" (ملف PDF) . المملكة المتحدة: كلية علوم الحاسوب، جامعة ميدلسكس . مؤرشف من الأصل (ملف PDF) في 22 نوفمبر 2009.
  4. ↑ بورنات، ريتشارد (24 يوليو 2014). "الإبل والسنام: تراجع" (ملف PDF) . لندن، المملكة المتحدة: كلية العلوم والتكنولوجيا، جامعة ميدلسكس .
  5. ↑ «الجمل ليس له سنامين: تم إلغاء "اختبار الكفاءة" البرمجي بسبب استنتاج متسرع - ريتراكشن ووتش» . ريتراكشن ووتش . ١٨ يوليو ٢٠١٤. تم الاطلاع عليه بتاريخ ١٣ نوفمبر ٢٠١٧ .
  6. ↑ بورنات، ريتشارد (2020). فهم وكتابة المترجمات: دليل عملي (ملف PDF) . لندن، المملكة المتحدة: جامعة ميدلسكس . تاريخ الاسترجاع: 12 يناير 2026 .
  7. ↑ بورنات، ريتشارد (22 يناير 2004). "دفاعًا عن البرمجة: المحاضرة الافتتاحية، أُلقيت في 22 يناير 2004، وتم تصحيحها ومراجعتها في 13 أبريل 2005" (ملف PDF) . المملكة المتحدة: جامعة ميدلسكس . تاريخ الاطلاع: 12 يناير 2026 .
  8. ↑ ناجاراجان، راجاجوبال؛ بورنات، ريتشارد (19 أكتوبر 2021). "ندوة عبر الإنترنت: النمذجة الرسمية، والبرمجة، والتحقق من صحة الأنظمة الكمومية" . BCS-FACS . تم الاطلاع عليه في 12 يناير 2026 .