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

לימודים והשתלמויות

B.Sc. במתמטיקה (בהצטיינות יתרה) בטכניון	:1962-1958
דוקטורט (במסלול ישיר) במחלקה למתמטיקה שימושית במכון ויצמן למדע בהנחיית: פרופ' ח"ל פקריס (הנושא: "גיאות ושפל באגנים פשוטים")	:1967-1962
פוסט-דוקטורט במחשבים באוניברסיטת סטנפורד ובמרכז המחקר של IBM ב-Yorktown Heights.	:1968-1967

תפקידים אקדמיים ומחקריים

חוקר בכיר במחלקה למתמטיקה שימושית במכון ויצמן למדע	:1973-1969
פרופסור חבר בחוג למדעי המחשב באוניברסיטת תל-אביב (ייסד את החוג ועמד בראשו)	:1980-1973
פרופסור אורח אוניברסיטת פנסילבניה	:1977-1976
פרופסור מן המניין במחלקה למדעי המחשב ומתמטיקה שימושית במכון ויצמן למדע	מ- ‏1980:
פרופסור אורח באוניברסיטת הרווארד	:1982
פרופסור אורח באוניברסיטת אוסטין	:1986
מחקרים ופיתוחים מקוריים בתחום לוגיקת הזמן (Temporal Logic)	מ- ‏1977:
מחקרים ופיתוח כלים בתחום של אפיון תוכנה ואימותה.	מ- ‏1969:

תפקידים בתעשיית המחשבים

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

פרסים ותוארי כבוד

"פרס טורינג" מטעם ACM, הארגון הבין-לאומי למחשבים - הפרס היוקרתי בעולם לאנשי מחשבים	:1996
דוקטורט כבוד מטעם אוניברסיטת אופסלה, שבדיה	:1997
דוקטורט כבוד מטעם אוניברסיטת יוסף פורייה שבגרנובל, צרפת	:1998
חבר זר באקדמיה הלאומית להנדסה, ארה"ב.	:1999

פרסומים

חיבר ‏2 ספרים יחד עם פרופ' זהר מנה מאוניברסיטת סטנפורד, לסיכום
המתודולוגיה הטמפורלית. פרסם מאמרים מדעיים בעיתונות המדעית ברחבי
העולם בנושאי מחשב שונים.


נשוי לאריאלה (לבית פייניק), ולהם שתי בנות, בן ונכד אחד.