אמיר פנואלי

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

נולד במושב נהלל וגדל בחולון. סיים תואר ראשון במתמטיקה בטכניון ובהמשך קיבל דוקטורט במכון ויצמן בשנת 1967. עשה פוסט‑דוקטורט בסטנפורד ובמרכז המחקר של IBM, ושב אחרי כן למכון ויצמן. ב־1973 הקים באוניברסיטת תל‑אביב את מסלול מדעי המחשב בתוך המחלקה למתמטיקה. בשנות ה‑80 חזר למכון ויצמן והמשיך שם במחקר ובהוראה. משנת 1999 החזיק גם במשרה באוניברסיטת ניו יורק.

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

פנואלי גם יזם והקים חברות תוכנה. ב־1971 היה בין מייסדי "מיני מערכות". ב־1984 יחד עם דוד הראל ייסד את "אד‑קאד", שפיתחה את שפת ה‑statechart ושפת המפרט הגרפית Statemate. המוצרים של החברה נרכשו ושווקו בעולם, ובסופו של דבר שולבו בטכנולוגיות של חברות גדולות כמו IBM.

הוקרה נוספת כללה את פרס ישראל ב־2000, בחירתו לאקדמיה הלאומית ב־2001, ובפרס ACM למערכת תוכנה ב־2007, בשנה שבה נבחר לעמית ACM. נפטר בניו יורק ב־2 בנובמבר 2009. בעקבות מותו הוקדש לו שער גיליון ינואר 2010 של כתב העת CACM. היה נשוי לאריאלה ולהם שלושה ילדים.

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

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

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

פנואלי עבד גם בחברות תוכנה. הוא היה בין מייסדי "מיני מערכות" ו"אד‑קאד". ב"אד‑קאד" פיתחו כלי בשם Statemate ועיצבו שפה גרפית לעבודה על מערכות.

זכה בפרסים חשובים, כמו פרס טיורינג ופרס ישראל. נפטר בניו יורק ב־2009. היה נשוי והורה לשלושה ילדים.