Bowen Alpern
Bowen Alpern · التكنولوجيا والهندسة
ألبيرن عالم حاسوب أمريكي مُدرَج بين الشخصيات اليهودية في مجال الحوسبة، شارك فريد شنايدر عام 1985 في تأليف بحث «تعريف الحيوية» (Defining Liveness)، الذي أعطى معنى دقيقاً لمفهومَي السلامة والحيوية اللذين يقعان في صميم صحّة البرامج.
1952, Hillsboro, أوريغون, الولايات المتحدة
الولايات المتحدة
ألبيرن عالم حاسوب أمريكي مُدرَج بين الشخصيات اليهودية في مجال الحوسبة، شارك فريد شنايدر عام 1985 في تأليف بحث «تعريف الحيوية» (Defining Liveness)، الذي أعطى معنى دقيقاً لمفهومَي السلامة والحيوية اللذين يقعان في صميم صحّة البرامج. وصار هذا التقسيم أساسياً للتحقق الصوري من الأنظمة المتزامنة والموزّعة. ونال هو وشنايدر جائزة دايكسترا عام 2018.
تحقّق وتعمّق عبر هذه المراجع الخارجية.
المصدر: Jinfo.org — Jewish recipients of the Dijkstra Prize
تصدر هذه الصفحة بسبع لغات انطلاقًا من نص إنجليزي. والترجمات تُراجَع، لكن قد يفلت خطأ. إن وجدت خطأً في هذا الملف — كلمة خاطئة، تاريخ ضائع، جملة تقول ما لا يقوله الإنجليزي — فأخبرنا.
ألبيرن عالم حاسوب أمريكي مُدرَج بين الشخصيات اليهودية في مجال الحوسبة، شارك فريد شنايدر عام 1985 في تأليف بحث «تعريف الحيوية» (Defining Liveness)، الذي أعطى معنى دقيقاً لمفهومَي السلامة والحيوية اللذين يقعان في صميم صحّة البرامج.
المصدر: Jinfo.org — Jewish recipients of the Dijkstra Prize
