توني هوار

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

التعليم المبكر والتبادل السوفيتي

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

الإسهامات في الخوارزميات والمنطق

عند مغادرته الاتحاد السوفيتي في عام 1960، انضم هوار إلى شركة إليوت براذرز المحدودة في لندن. وخلال هذه الفترة، طور خوارزمية الترتيب السريع وعمل على مترجم لغة ALGOL 60. قاده مساره المهني إلى مناصب أكاديمية، بما في ذلك أستاذ علوم الكمبيوتر في جامعة كوينز بلفاست في عام 1968. وعاد إلى جامعة أكسفورد في عام 1977، حيث قاد مجموعة أبحاث البرمجة وشغل منصب أول أستاذ حاسوب باسم كريستوفر ستراشي من عام 1988 حتى تقاعده في عام 2000.

الطرق الشكلية والتزامن

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

الأوقات المهنية المتميزة والسنوات اللاحقة

طوال مسيرته المهنية، حصل هوار على العديد من التكريمات، بما في ذلك جائزة تورنغ من جمعية آلات الحوسبة (ACM) في عام 1980، وميدالية فاراداي في عام 1985، ولقب فارس في عام 2000. وكان زميلاً في الجمعية الملكية وعضواً في العديد من المنظمات الدولية، بما في ذلك الأكاديمية الوطنية للعلوم وأكاديمية أوروبا. وبعد تقاعده من أكسفورد، عمل باحثاً رئيسياً في أبحاث مايكروسوفت في كامبريدج. توفي هوار في كامبريدج في 5 مارس 2026.

حقائق سريعة

- المولد: 1934، كولومبو - الوفاة: 2026، كامبريدج - الخوارزمية البارزة: الترتيب السريع (Quicksort) - المجال الأساسي: علوم الحاسوب - سنة جائزة تورنغ: 1980 - الأدوار الأكاديمية الرئيسية: جامعة أكسفورد، جامعة كوينز بلفاست - حصوله على لقب فارس: 2000 - اللغات المتحدث بها: اللاتينية، الإنجليزية، الروسية، اليونانية القديمة

أسئلة يطرحها القراء

### ما هو خطأ المليار دولار؟

استخدم هوار هذا المصطلح لوصف اختراعه عام 1965 للمرجع الفارغ، والذي نفذه أثناء تصميم نظام الأنواع للغة ALGOL W، مشيراً إلى أنه أدى إلى أخطاء واسعة النطاق في الأنظمة.

### ما هي العمليات المتسلسلة المتواصلة؟

هي لغة شكلية قدمها هوار وتُستخدم لتحديد ووصف التفاعلات بين العمليات المتزامنة داخل نظام الكمبيوتر.