אמיר פנואלי

אמיר פנואלי
	אמיר פנואלי, 18 בינואר 2005
	אמיר פנואלי, 18 בינואר 2005
לידה	22 באפריל 1941; נהלל, פלשתינה (א"י)
פטירה	2 בנובמבר 2009 (בגיל 68); ניו יורק, ארצות הברית
ענף מדעי	מדעי המחשב
מקום מגורים	ישראל
מקום לימודים	הטכניון – מכון טכנולוגי לישראל; מכון ויצמן למדע ;
מנחה לדוקטורט	חיים לייב פקריס
מוסדות	אוניברסיטת ניו יורק; אוניברסיטת תל אביב; בית ספר טנדון להנדסה באוניברסיטת ניו יורק ;
תלמידי דוקטורט	דן זכאי, Raya (Rosenfeld) Leviathan, Yi Fang, גרא וייס, Ofer Strichman, הלל קוגלר, Elad Shahar, Sitvanit Ruah, Yaniv Sa'ar, Ariel Cohen, Uri Klein, Ittai Balaban, Dana Fisman, דורון אנשל פלד, דוב דורי, Asher Wilk, Lenore Zuck, נסים פרנסיז, מרדכי בן ארי, Giora Slutzki, Yonit Kesten, עודד מלר, רבקה זרחי-שרמן, Yair Eran, Roni Rosner, אורנה ליכטנשטיין, שמואל ספרא
פרסים והוקרה	פרס ACM למערכת תוכנה (2007); עמית ACM (2007); פרס ישראל (2000); פרס טיורינג (1996) ;
	אתר רשמי
תרומות עיקריות
	הכנסת לוגיקת זמן (לוגיקה טמפורלית) לתחום מדעי המחשב

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

ביוגרפיה

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

סיים תואר ראשון במתמטיקה בטכניון בהצטיינות יתרה, לאחר מכן עשה דוקטורט במכון ויצמן למדע בהנחייתו של פרופ' חיים לייב פקריס^[1]. נושא התזה שלו, שאותה הגיש בשנת 1967, הוא "גאות ושפל באגנים פשוטים". במהלך פוסט-דוקטורט באוניברסיטת סטנפורד ובמרכז המחקר של IBM ביורקטאון הייטס החליט להשקיע את מאמציו במדעי המחשב. בשנת 1969 חזר למכון ויצמן ונמנה עם סגל החוקרים בו^[2]. בשנת 1973 עבר לאוניברסיטת תל אביב, והקים בה את מסלול מדעי המחשב במסגרת המחלקה למתמטיקה^[3]. בשנת 1980 חזר למכון ויצמן, שם עסק במחקר פעיל, הוראה והנחיית סטודנטים עד גיל פרישה.

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

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

בשנת 2000 הוענק לו פרס ישראל, בשנת 2001 נבחר כחבר האקדמיה הלאומית הישראלית למדעים^[4].

בנוסף לפעילותו האקדמית, פעל פנואלי כיזם בתחום ההיי-טק. בשנת 1971 נמנה עם מייסדי חברת "מיני מערכות", שסיפקה שירותי פיתוח תוכנה לחברת "סאיטקס" ולגופים נוספים, בהם המרכז לטכנולוגיה חינוכית והתעשייה האווירית. במסגרת זו היה מעורב בפיתוח מערכות זמן אמת, מערכות הפעלה ומהדרים^[5].

בשנת 1984 נמנה, ביחד עם עמיתו במכון ויצמן דוד הראל, עם מייסדי חברת "אד-קאד"^[5]. החברה החלה את דרכה במסגרת פרויקט ייעוץ לאפיון מערכות האוויוניקה והקשר של מטוס הלביא. לצורך הפרויקט פיתחה החברה שפת תכנות בשם statechart ושפת מפרט גרפית בשם Statemate. "אד-קאד" שולבה ב-1987 בחברת אם אמריקאית בשם I-Logix^[6], והתוכנה של החברה שווקה בהצלחה ברחבי העולם^[7]. ב-2006 I-Logix נרכשה על ידי יצרנית התוכנה השוודית טללוג'יק (Telelogic)^[8], ששנה אחר כך נרכשה על ידי חברת IBM‏^[9]. במסגרת חטיבת התוכנה Rational של IBM‏ Statemate שולבה כחלק משפת המפרט לעיצוב מונחה-עצמים - UML כ-UML state machine (אנ').

פיתוח Statemate בחברה זו זיכה את פנואלי, יחד עם שבעה מעמיתיו, בפרס ACM למערכת תוכנה לשנת 2007. בשנה זו נבחר לעמית ACM.

נפטר בניו יורק ב-2 בנובמבר 2009. בעקבות פטירתו הוקדש לו עמוד השער של גיליון ינואר 2010 של הירחון CACM,‏ כתב העת המרכזי של ה-ACM.^[10]

פנואלי היה נשוי לאריאלה ולזוג שלושה ילדים.

ספרים שכתב או ערך

B. Banieqbal, H. Barringer, and A. Pnueli, editors. Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science. Springer-Verlag, 1987.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.
A. Pnueli and H. Lin, editors. Logic and Software Engineering. World Scientific, Singapore, 1996.

לקריאה נוספת

Leah Hoffmann, "Amir Pnueli: Ahead of His Time", CACM, January 2010.

קישורים חיצוניים

מדיה וקבצים בנושא אמיר פנואלי בוויקישיתוף

אתר האינטרנט הרשמי של אמיר פנואלי
אמיר פנואלי, באתר פרויקט הגנאלוגיה במתמטיקה
אמיר פנואלי, באתר dblp
פרופ' אמיר פנואלי, באתר פרס ישראל
5 שאלות לפרופ' אמיר פנואלי, באתר של מכון ויצמן למדע
אמיר פנואלי באתר האקדמיה הלאומית הישראלית למדעים
אמיר פנואלי באתר פרס טיורינג (באנגלית)
אמיר פנואלי, באתר של אוניברסיטת ניו יורק
על תרומתו למדע של פרופ' פנואלי שהלך לעולמו, באתר ynet, 4 בנובמבר 2009
אורי דרומי, פרופ' אמיר פנואלי, חתן פרס טיורינג ופרס ישראל בחקר מדעי המחשב, 1941-2009, באתר הארץ, 13 בנובמבר 2009
Kenneth Chang, Amir Pnueli, pioneer of temporal logic, dies at 68, The New York Times
NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist
אמיר פנואלי, באתר אנציקלופדיה בריטניקה (באנגלית)

הערות שוליים

^ תארי דוקטור ו"מוסמך" ' במכון וייצמן למדע, דבר, 19 בפברואר 1968
^ העלאות בדרגה בסגל המדעי של מכון וייצמן, דבר, 17 ביולי 1970
^ מינויים והעלאות בדרגה באוניברסיטת תל־אביב, על המשמר, 7 בינואר 1974
^ ראלי סער, ארבעה חברים חדשים לאקדמיה הלאומית למדעים, באתר הארץ, 9 בדצמבר 2001
^ ¹ ² אהרן פריאל, לדעת מראש איך המוצר יעבוד, מעריב, 6 באוקטובר 1987
^ רוני ליפשיץ, ‏I-Logix גייסה 3 מיליון דולר לשיווק תוכנה שפותחה בישראל, באתר גלובס, 8 באוקטובר 1998
רוני ליפשיץ, ‏חברת התוכנה איי-לוג'יקס גייסה 10.5 מיליון דולר, באתר גלובס, 7 בדצמבר 1999
^ אלה יעקבי, ‏תוכנה שפותחה בישראל מסייעת לתכנון מכוניות העתיד של קרייזלר, באתר גלובס, 17 בנובמבר 1998
^ Telelogic snaps up I-Logix - Embedded.com, Embedded.com, ‏7 במרץ 2006
^ סוכניות הידיעות, ‏IBM הציעה לרכוש את טללוג'יק ב-745 מיליון ד', באתר גלובס, 12 ביוני 2007
^ Chris Kasch, Communications of the ACM Magazine

[1] תארי דוקטור ו"מוסמך" ' במכון וייצמן למדע, דבר, 19 בפברואר 1968

[2] העלאות בדרגה בסגל המדעי של מכון וייצמן, דבר, 17 ביולי 1970

[3] מינויים והעלאות בדרגה באוניברסיטת תל־אביב, על המשמר, 7 בינואר 1974

[4] ראלי סער, ארבעה חברים חדשים לאקדמיה הלאומית למדעים, באתר הארץ, 9 בדצמבר 2001

[מעריב-5] ¹ ² אהרן פריאל, לדעת מראש איך המוצר יעבוד, מעריב, 6 באוקטובר 1987

[6] רוני ליפשיץ, ‏I-Logix גייסה 3 מיליון דולר לשיווק תוכנה שפותחה בישראל, באתר גלובס, 8 באוקטובר 1998
רוני ליפשיץ, ‏חברת התוכנה איי-לוג'יקס גייסה 10.5 מיליון דולר, באתר גלובס, 7 בדצמבר 1999

[7] אלה יעקבי, ‏תוכנה שפותחה בישראל מסייעת לתכנון מכוניות העתיד של קרייזלר, באתר גלובס, 17 בנובמבר 1998

[8] Telelogic snaps up I-Logix - Embedded.com, Embedded.com, ‏7 במרץ 2006

[9] סוכניות הידיעות, ‏IBM הציעה לרכוש את טללוג'יק ב-745 מיליון ד', באתר גלובס, 12 ביוני 2007

[10] Chris Kasch, Communications of the ACM Magazine

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

זוכי פרס טיורינג
1966–1980	אלן פרליס (1966) • מוריס וינסנט וילקס (1967) • ריצ'רד המינג (1968) • מרווין מינסקי (1969) • ג'יימס וילקנסון (1970) • ג'ון מקארתי (1971) • אדסחר דייקסטרה (1972) • צ'ארלס באקמן (1973) • דונלד קנות' (1974) • אלן ניוול והרברט סיימון (1975) • מיכאל רבין ודנה סקוט (1976) • ג'ון באקוס (1977) • רוברט פלויד (1978) • קנת אייברסון (1979) • טוני הור (1980)
1981–2000	אדגר קוד (1981) • סטיבן קוק (1982) • קן תומפסון ודניס ריצ'י (1983) • ניקלאוס וירת (1984) • ריצ'רד קארפ (1985) • ג'ון הופקרופט ורוברט טרג'אן (1986) • ג'ון קוק (1987) • איוואן סאת'רלנד (1989) • וילאם קאהן (1990) • פרננדו קורבטו (1991) • רובין מילנר (1992) • באטלר לאמפסון (1993) • יוריס הארטמאניס וריצ'רד סטרנס (1994) • אדוארד פייגנבאום וראג' רדי (1995) • מנואל בלום (1996) • אמיר פנואלי • דאגלס אנגלברט (1997) • ג'ים גריי (1998) • פרד ברוקס (1999) • אנדרו יאו (2000)
2001–2020	אולה יוהאן דאל וקריסטין נייגארד (2001) • רונלד ריבסט, לאונרד אדלמן ועדי שמיר (2002) • אלן קיי (2003) • וינט סרף ובוב קאהן (2004) • פיטר נאור (2005) • פרנסס אלן (2006) • אדמונד קלארק, אלן אמרסון וג'וסף סיפאקיס (2007) • ברברה ליסקוב (2008) • צ'ארלס פ. ת'אקר (2009) • לסלי וליאנט (2010) • יהודה פרל (2011) • שפי גולדווסר וסילביו מיקאלי (2012) • לזלי למפורט (2013) • מייקל סטונברייקר (2014) • ויטפילד דיפי ומרטין הלמן (2015) • טים ברנרס-לי (2016) • ג'ון הנסי ודייוויד פטרסון (2017) יהושע בנג'יו, ג'פרי הינטון ויאן לקון (2018) • אדווין קטמול ופט הנרהן (2019) • אל אהו וג'פרי אולמן (2020)
2021 ואילך	ג'ק דונגארה (2021) • רוברט מטקאלף (2022) • אבי ויגדרזון (2023)