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