פרד שניידר
פרד שניידר · טכנולוגיה והנדסה
שניידר הוא מדען מחשב מאוניברסיטת קורנל שיחד עם באוון אלפרן העניק לתחום הגדרות פורמליות קפדניות לתכונות 'בטיחות' ו'חיוּת' במערכות מקביליות ומבוזרות, עבודה שזכתה בפרס דייקסטרה לשנת 2018.
1953, ארצות הברית
ארצות הברית
שניידר הוא מדען מחשב מאוניברסיטת קורנל שיחד עם באוון אלפרן העניק לתחום הגדרות פורמליות קפדניות לתכונות 'בטיחות' ו'חיוּת' במערכות מקביליות ומבוזרות, עבודה שזכתה בפרס דייקסטרה לשנת 2018. מחקרו עומד בבסיס גישות מודרניות לסבילות תקלות ולמחשוב אמין. הוא מופיע בין הזוכים היהודים בפרס דייקסטרה לפי המדד הביוגרפי היהודי Jinfo; ביוגרפיות מיינסטרים אינן מפרטות עוד על רקעו.
אמתו והעמיקו בעזרת המקורות החיצוניים האלה.
מקור: Jinfo.org — Jewish recipients of the Dijkstra Prize
העמוד הזה מתפרסם בשבע שפות מתוך מקור אנגלי. התרגומים נבדקים, אך שגיאה עלולה לחמוק. אם מצאתם כזו בדף הזה — מילה שגויה, תאריך שאבד, משפט שאומר דבר שאינו באנגלית — ספרו לנו.
שניידר הוא מדען מחשב מאוניברסיטת קורנל שיחד עם באוון אלפרן העניק לתחום הגדרות פורמליות קפדניות לתכונות 'בטיחות' ו'חיוּת' במערכות מקביליות ומבוזרות, עבודה שזכתה בפרס דייקסטרה לשנת 2018.
מקור: Jinfo.org — Jewish recipients of the Dijkstra Prize
