Bowen Alpern
Bowen Alpern · טכנולוגיה והנדסה
אלפרן, מדען מחשב אמריקאי הנמנה עם דמויות יהודיות במדעי המחשב, כתב יחד עם פרד שניידר את המאמר מ-1985 'Defining Liveness', שהעניק משמעות מדויקת למושגי הבטיחות (safety) והחיוּת (liveness) שבלב נכונות התוכניות.
1952, Hillsboro, Oregon, United States
United States
אלפרן, מדען מחשב אמריקאי הנמנה עם דמויות יהודיות במדעי המחשב, כתב יחד עם פרד שניידר את המאמר מ-1985 'Defining Liveness', שהעניק משמעות מדויקת למושגי הבטיחות (safety) והחיוּת (liveness) שבלב נכונות התוכניות. פירוק זה הפך ליסוד באימות פורמלי של מערכות מקבילות ומבוזרות. הוא ושניידר קיבלו את פרס דייקסטרה לשנת 2018.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jewish recipients of the Dijkstra Prize
אלפרן, מדען מחשב אמריקאי הנמנה עם דמויות יהודיות במדעי המחשב, כתב יחד עם פרד שניידר את המאמר מ-1985 'Defining Liveness', שהעניק משמעות מדויקת למושגי הבטיחות (safety) והחיוּת (liveness) שבלב נכונות התוכניות.
מקור: Jinfo.org — Jewish recipients of the Dijkstra Prize
תורמים דומים
Fred Schneider
Oded Regev
Philip Spira
