אמיר פנואלי
אמיר פנואלי · טכנולוגיה והנדסה
יהודי יליד ישראל שגדל במושב נהלל, פנואלי למד תחילה מתמטיקה בטכניון ואז פנה למדעי המחשב.
1941, Nahalal, המנדט הבריטי על פלשתינה (כיום ישראל) — 2009, ניו יורק, ארצות הברית
ישראל (Weizmann Institute · Tel Aviv University) · ארצות הברית (New York University)
יהודי יליד ישראל שגדל במושב נהלל, פנואלי למד תחילה מתמטיקה בטכניון ואז פנה למדעי המחשב. במאמר פורץ דרך מ-1977 הציג את הלוגיקה הטמפורלית — שפה פורמלית של 'תמיד' ו'בסופו של דבר' — כדרך קפדנית לתאר ולאמת כיצד תוכניות מקביליות ותגובתיות מתנהגות לאורך זמן. עבודה זו ייסדה את תחום האימות הפורמלי והקנתה לו את פרס טיורינג לשנת 1996; חשיבותה בכך שהיא מאפשרת להוכיח מתמטית שתוכנה קריטית לא תיכשל.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jewish recipients of the Turing Award
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
יהודי יליד ישראל שגדל במושב נהלל, פנואלי למד תחילה מתמטיקה בטכניון ואז פנה למדעי המחשב.
מקור: Jinfo.org — Jewish recipients of the Turing Award
