توني هوار

السير تشارلز أنتوني ريتشارد هوار ( 11 يناير 1934 - 5 مارس 2026)، المعروف باسم السير توني هوار أو سي إيه آر هوار ، كان عالم حاسوب بريطانيًا قدم إسهاماتٍ جوهرية في لغات البرمجة ، والخوارزميات ، وأنظمة التشغيل ، والتحقق الرسمي ، والحوسبة المتزامنة . ^{[ 4 ] [ 5 ]} وقد نال عن عمله جائزة تورينج من جمعية آلات الحوسبة (ACM) عام 1980 ، والتي تُعتبر عادةً أعلى جائزة في علوم الحاسوب. ^{[ 6 ] [ 7 ]}

طوّر هوار خوارزمية الفرز السريع (Quicksort) في الفترة ما بين عامي 1959 و1960. ^{[ 8 ] [ 2 ]} كما طوّر منطق هوار ، وهو أساس بديهي للتحقق من صحة البرامج . ^{[ 9 ]} وفي مجال دلالات التزامن ، قدّم اللغة الرسمية للتواصل بين العمليات المتسلسلة (CSP) لتحديد تفاعلات العمليات المتزامنة، وصاغ، بالتعاون مع إدسكار ديكسترا ، مسألة الفلاسفة المتناولين للطعام . ^{[ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ]} ومنذ عام 1977، شغل مناصب في جامعة أكسفورد وفي شركة مايكروسوفت للأبحاث في كامبريدج .

وُلد توني هوار في كولومبو ، سيلان (سريلانكا حاليًا) في 11 يناير 1934، ^{[ 6 ]} لأبوين بريطانيين؛ كان والده موظفًا حكوميًا في المستعمرة ، وكانت والدته ابنة مزارع شاي. تلقى هوار تعليمه الخاص في إنجلترا، في مدرسة دراغون في أكسفورد ومدرسة الملك في كانتربري . ^{[ 15 ]} ثم درس الأدب الكلاسيكي والفلسفة ("العظماء") في جامعة أكسفورد كطالب جامعي في كلية ميرتون، أكسفورد . ^{[ 16 ]} بعد تخرجه عام 1956، أدى الخدمة الوطنية لمدة 18 شهرًا في البحرية الملكية ، ^{[ 16 ]} حيث تعلم اللغة الروسية. ^{[ 17 ]} عاد إلى جامعة أكسفورد عام 1958 لدراسة شهادة الدراسات العليا في الإحصاء ، ^{[ 16 ]} وهناك بدأ برمجة الحاسوب ، بعد أن تعلم لغة أوتو كود على جهاز فيرانتي ميركوري على يد ليزلي فوكس . ^{[ 18 ]} ثم ذهب إلى جامعة موسكو الحكومية كطالب تبادل من المجلس الثقافي البريطاني ، ^{[ 16 ]} حيث درس الترجمة الآلية تحت إشراف أندريه كولموغوروف . ^{[ 17 ]}

في عام 1960، غادر هوار الاتحاد السوفيتي وبدأ العمل في شركة إليوت براذرز المحدودة ، ^{[ 16 ]} وهي شركة صغيرة لتصنيع أجهزة الكمبيوتر تقع في لندن. هناك، قام بتنفيذ مترجم للغة ALGOL 60 وبدأ في تطوير خوارزميات رئيسية . ^{[ 19 ]}

شارك هوار في تطوير المعايير الدولية في البرمجة والمعلوماتية، كعضو في المجموعة العاملة 2.1 التابعة للاتحاد الدولي لمعالجة المعلومات (IFIP) والمعنية باللغات والحسابات الخوارزمية، ^{[ 20 ]} والتي حددت وصيان ودعم لغتي ALGOL 60 و ALGOL 68. ^{[ 21 ]}

أصبح هوار أستاذًا لعلوم الحاسوب في جامعة كوينز بلفاست عام 1968، وفي عام 1977 عاد إلى أكسفورد أستاذًا للحوسبة ليقود مجموعة أبحاث البرمجة في مختبر الحوسبة بجامعة أكسفورد (الذي أصبح الآن قسم علوم الحاسوب بجامعة أكسفورد )، وذلك عقب وفاة كريستوفر ستراشي . وأصبح أول أستاذ يحمل كرسي كريستوفر ستراشي للحوسبة عند تأسيسه عام 1988، واستمر في منصبه حتى تقاعده من أكسفورد عام 2000. ^{[ 22 ]} وكان أستاذًا فخريًا هناك، كما شغل منصب باحث رئيسي في مايكروسوفت للأبحاث في كامبريدج ، إنجلترا. ^{[ 23 ] [ 24 ] [ 25 ]}

تتركز أهم أعمال هوار في المجالات التالية: خوارزمية الفرز والاختيار ( Quicksort و Quickselect )، ومنطق هوار ، واللغة الرسمية للتواصل بين العمليات المتسلسلة (CSP) المستخدمة لتحديد التفاعلات بين العمليات المتزامنة (والتي تم تطبيقها في لغات برمجة مختلفة مثل أوكام )، وهيكلة أنظمة تشغيل الحاسوب باستخدام مفهوم المراقبة ، والمواصفات البديهية للغات البرمجة . ^{[ 26 ] [ 6 ]}

وفي حديثه في مؤتمر للبرمجيات عام 2009، اعتذر هوار عن اختراع المرجع الفارغ : ^{[ 27 ] [ 28 ]}

أسميها خطأي الذي كلفني مليار دولار. كان ذلك اختراع المرجع الفارغ عام ١٩٦٥. في ذلك الوقت، كنتُ أصمم أول نظام شامل لأنواع المراجع في لغة برمجة كائنية التوجه ( ALGOL W ). كان هدفي ضمان أن يكون استخدام المراجع آمنًا تمامًا، مع إجراء التحقق تلقائيًا بواسطة المُصرّف. لكنني لم أستطع مقاومة إغراء إضافة مرجع فارغ، ببساطة لأنه كان سهل التنفيذ. وقد أدى ذلك إلى عدد لا يُحصى من الأخطاء والثغرات الأمنية وانهيارات النظام، والتي ربما تسببت في خسائر وأضرار تُقدّر بمليار دولار خلال الأربعين عامًا الماضية. ^{[ ٢٩ ]}

لسنوات عديدة تحت قيادته، عمل قسم هوار في أكسفورد على لغات المواصفات الرسمية مثل CSP ورمز Z. لم تحقق هذه اللغات الإقبال المتوقع من قبل الصناعة، وفي عام 1995، دفع ذلك هوار إلى إعادة النظر في الافتراضات الأصلية: ^{[ 30 ]}

قبل عشر سنوات، تنبأ باحثون في الأساليب الرسمية (وكنتُ أكثرهم خطأً) بأن عالم البرمجة سيرحب بكل مساعدة تعد بها هذه الأساليب لحل مشاكل الموثوقية التي تنشأ عندما تصبح البرامج ضخمة وحساسة للغاية من الناحية الأمنية. لكن البرامج الآن أصبحت ضخمة وحساسة للغاية، تتجاوز بكثير النطاق الذي يمكن للأساليب الرسمية التعامل معه بسهولة. وقد ظهرت العديد من المشاكل والإخفاقات، ولكنها كانت تُعزى في الغالب إلى عدم كفاية تحليل المتطلبات أو عدم كفاية الرقابة الإدارية. واتضح أن العالم لا يعاني بشكل كبير من نوع المشكلة التي كان بحثنا يهدف في الأصل إلى حلها.

كُتبت مقالة تذكارية تتضمن ذكريات تكريماً لهوار بمناسبة عيد ميلاده التسعين. ^{[ 31 ]}

في عام 1962، تزوج هوار من جيل بيم ، وهي عضوة في فريقه البحثي، وأنجب منها ثلاثة أطفال. ^{[ 32 ]} توفي في 5 مارس 2026، عن عمر يناهز 92 عامًا. ^{[ 33 ] [ 34 ] [ 35 ] [ 2 ] [ 36 ]}

• دال، أو. ج .؛ ديكسترا، إي. دبليو .؛ هوار، سي. إيه. آر. (1972). البرمجة الهيكلية . دار النشر الأكاديمية . رقم ISBN 978-0-12-200550-3. OCLC 23937947 . 
• هوار، سي. إيه. آر. (1985). العمليات المتسلسلة المتصلة . سلسلة برنتيس هول الدولية في علوم الحاسوب. رقم ISBN 978-0131532717(غلاف مقوى) أو رقم ISBN 978-0131532892(غلاف ورقي). (متوفر على الإنترنت على الرابط http://www.usingcsp.com/ مؤرشف في 1 فبراير 2021 في Wayback Machine بصيغة PDF.)
• هوار، سي. آر. (1989). سي. بي. جونز (محرر). مقالات في علوم الحاسوب . سلسلة برنتيس هول الدولية في علوم الحاسوب. رقم ISBN 978-0-13-284027-9.
• هوار، سي. أ. ر.؛ جوردون، إم. جيه. سي. (1992). الاستدلال الآلي وتصميم الأجهزة . سلسلة برنتيس هول الدولية في علوم الحاسوب. رقم ISBN 978-0-13-572405-7. OCLC 25712842 . 
• هوار، سي إيه آر؛ هي، جيفنغ (1998). نظريات موحدة للبرمجة . سلسلة برنتيس هول الدولية في علوم الحاسوب. ISBN 978-0-13-458761-5. OCLC 38199961 . 

 تتضمن هذه المقالة نصًا متاحًا بموجب ترخيص CC BY 4.0 .