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

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

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

צילום: אילן כרמי (מתוך תערוכת תגליות ופיתוחים ישראליים שהשפיעו על העולם של משרד המדע והטכנולוגיה)

אודות ליל המדענים

אירועי ליל המדענים מאורגנים על ידי משרד המדע והטכנולוגיה בשיתוף האיחוד האירופי.