הטמעת הפניה ריקה (null reference) בשנת 1965 נותרה השגיאה המצוטטת ביותר בקריירה של טוני הור, שתיאר אותה כטעות של מיליארד דולר. מעבר להודאה זו, תרומותיו היסודיות למדעי המחשב כוללות את פיתוח אלגוריתם המיון Quicksort, לוגיקה פורמלית לאימות תוכניות, ומפרט של מערכות מקביליות באמצעות תהליכים סדרתיים מתקשרים (Communicating Sequential Processes).
השכלה מוקדמת וחילופי סטודנטים בברית המועצות
טוני הור נולד בקולומבו בשנת 1934, וקיבל את השכלתו המוקדמת בבית הספר דרגון באוקספורד ובבית הספר המלך בקנטרברי. הוא למד קלאסיקה ופילוסופיה במרטון קולג', אוניברסיטת אוקספורד, וסיים את לימודיו ב-1956. במהלך שירותו הלאומי בצי המלכותי, הוא רכש שליטה בשפה הרוסית. מיומנות זו הקלה על תקופה כסטודנט חילופי של המועצה הבריטית באוניברסיטת לומונוסוב במוסקבה, שם למד תרגום מכונה בהנחייתו של אנדריי קולמוגורוב (Andrey Kolmogorov).
תרומות לאלגוריתמים ולוגיקה
עם עזיבתו את ברית המועצות בשנת 1960, הצטרף הור לחברת Elliott Brothers Ltd בלונדון. במהלך תקופה זו הוא פיתח את אלגוריתם Quicksort ועבד על מהדר עבור ALGOL 60. מסלול הקריירה שלו הוביל אותו לתפקידים אקדמיים, כולל פרופסור למדעי המחשב באוניברסיטת קווינס בבלפסט בשנת 1968. הוא חזר לאוניברסיטת אוקספורד בשנת 1977, שם הוביל את קבוצת מחקר התכנות וכיהן כפרופסור כריסטופר סטרצ'י הראשון למחשוב מ-1988 ועד פרישתו בשנת 2000.
שיטות פורמליות ומקביליות
המחקר של הור התמקד בשלמות המבנית של תוכנה. הוא פיתח את לוגיקת הור כדי לספק בסיס אקסיומטי לאימות נכונות תוכניות. בתחום המחשוב המקבילי, הוא הציג תהליכים סדרתיים מתקשרים (CSP), שפה פורמלית שנועדה לציין אינטראקציות בין תהליכים מקביליים. עבודתו בתחומים אלו נועדה לפתור בעיות אמינות במערכות רחבות היקף, אם כי מאוחר יותר הודה כי אימוץ תעשייתי של שיטות פורמליות אלו נתקל במגבלות משמעותיות בפועל.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →כיבודים מקצועיים ושנים מאוחרות
לאורך הקריירה שלו, הור קיבל פרסים רבים, כולל פרס טיורינג של ACM לשנת 1980, מדליית פאראדיי בשנת 1985, ותואר אבירות בשנת 2000. הוא היה עמית החברה המלכותית וחבר במספר ארגונים בינלאומיים, כולל האקדמיה הלאומית למדעים והאקדמיה אירופיאה. לאחר פרישתו מאוקספורד, הוא כיהן כחוקר ראשי ב-Microsoft Research בקיימברידג'. הור נפטר בקיימברידג' ב-5 במרץ 2026.
עובדות מהירות
- נולד: 1934, קולומבו - נפטר: 2026, קיימברידג' - אלגוריתם בולט: Quicksort - תחום עיקרי: מדעי המחשב - שנת פרס טיורינג: 1980 - תפקידים אקדמיים מרכזיים: אוניברסיטת אוקספורד, אוניברסיטת קווינס בבלפסט - קיבל תואר אבירות: 2000 - שפות מדוברות: לטינית, אנגלית, רוסית, יוונית עתיקה
שאלות נפוצות
### מה הייתה הטעות של מיליארד דולר?
הור השתמש במונח זה כדי לתאר את המצאתו משנת 1965 של ההפניה הריקה, אותה הטמיע בזמן תכנון מערכת הטיפוסים עבור ALGOL W, וציין שהיא הובילה לשגיאות מערכת נרחבות.
### מהם תהליכים סדרתיים מתקשרים?
זוהי שפה פורמלית שהוצגה על ידי הור המשמשת לציון ותיאור האינטראקציות בין תהליכים מקביליים בתוך מערכת מחשב.