Bowen Alpern

ألبيرن عالم حاسوب أمريكي مُدرَج بين الشخصيات اليهودية في مجال الحوسبة، شارك فريد شنايدر عام 1985 في تأليف بحث «تعريف الحيوية» (Defining Liveness)، الذي أعطى معنى دقيقاً لمفهومَي السلامة والحيوية اللذين يقعان في صميم صحّة البرامج. وصار هذا التقسيم أساسياً للتحقق الصوري من الأنظمة المتزامنة والموزّعة. ونال هو وشنايدر جائزة دايكسترا عام 2018.

Verify and go deeper with these external references.

المصدر: Jinfo.org — Jewish recipients of the Dijkstra Prize