Bowen Alpern
Bowen Alpern · טכנולוגיה והנדסה
אלפרן, מדען מחשב אמריקאי הנמנה עם דמויות יהודיות במדעי המחשב, כתב יחד עם פרד שניידר את המאמר מ-1985 'Defining Liveness', שהעניק משמעות מדויקת למושגי הבטיחות (safety) והחיוּת (liveness) שבלב נכונות התוכניות.
1952, Hillsboro, אורגון, ארצות הברית
ארצות הברית
אלפרן, מדען מחשב אמריקאי הנמנה עם דמויות יהודיות במדעי המחשב, כתב יחד עם פרד שניידר את המאמר מ-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
