מדעAmir Pnueli

אמיר פנואלי

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

1941 עד 2009לוגיקה טמפורלית במדעי המחשבפרס טיורינג לשנת 1996אימות תוכניות ומערכותשותפות בפיתוח Statemate

נולד: 22 באפריל 1941, נהלל
נפטר: 2 בנובמבר 2009, ניו יורק
עיסוק: מדען מחשב, מהנדס, איש חינוך, מרצה באוניברסיטה
השכלה: הטכניון – מכון טכנולוגי לישראל, מכון ויצמן למדע

אמיר פנואלי נולד ב-1941 בנהלל

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

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

ב-1969 חזר למכון ויצמן, וב-1973 עבר לאוניברסיטת תל אביב והקים בה את מסלול מדעי המחשב. ב-1980 שב למכון ויצמן. מאמרו מ-1977 על לוגיקת הזמן של תוכניות זיכה אותו בפרס טיורינג, ומ-1999 החזיק גם משרה באוניברסיטת ניו יורק.

ב-1971 היה בין מייסדי חברת מיני מערכות, וב-1984 ייסד עם דוד הראל את אד-קאד, שפיתחה את Statemate. הוא נפטר בניו יורק ב-2 בנובמבר 2009. היה נשוי לאריאלה ולזוג 3 ילדים.