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