Amir Pnueli.jpg 2005]] אמיר פנואלי (נולד ב-22 באפריל 1941). מדען ישראלי, העוסק במתמטיקה ובמדעי המחשב, חתן פרס ישראל ופרס טיורינג.

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

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

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

בשנת 2000 הוענק לו פרס ישראל.

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

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

• אמיר פנואלי, באתר פרס ישראל
• 5 שאלות לפרופ' אמיר פנואלי, באתר של מכון ויצמן למדע

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

Amir Pnueli | Amir Pnueli | Amir Pnueli | Amir Pnueli