פרס טיורינג - פיתוח שיטות מתוחכמות לאימות מערכות ממוחשבות

פרסים בין-לאומיים

פרופ' אמיר פנואלי (1941– 2009)
מכון ויצמן למדע

ככל שמערכות ממוחשבות נעשות מורכבות יותר, כך גדל הסיכון לתקלות. שגיאה במערכת בקרה של מכונית ללא נהג, אי-דיוק במידע של מערכת לניהול טיסה או טעות בחישוב במכשיר רפואי, עלולים לגרום לאובדן חיי אדם. פרופ' פנואלי פיתח שיטות וכלים המאפשרים לאמת פעילות תקינה של מערכות כאלו. מאמר מדעי חשוב שלו פורסם בשנת 1976 כשעבד באוניברסיטת תל-אביב. בשנת 1980 חזר למכון ויצמן למדע, ובשנת 1996 זכה, על מחקריו בתחום זה, בפרס טיורינג, הפרס היוקרתי ביותר בתחום מדעי המחשב.