فرد شنايدر
فرد شنايدر · التكنولوجيا والهندسة
شنايدر عالم حاسوب في جامعة كورنيل، أعطى مع بوين ألبيرن هذا الحقلَ تعريفاته الصورية الدقيقة لخاصيتَي 'السلامة' و'الحيوية' في الأنظمة المتزامنة والموزّعة، وهو عمل كُرّم بجائزة دايكسترا عام 2018.
1953, الولايات المتحدة
الولايات المتحدة
شنايدر عالم حاسوب في جامعة كورنيل، أعطى مع بوين ألبيرن هذا الحقلَ تعريفاته الصورية الدقيقة لخاصيتَي 'السلامة' و'الحيوية' في الأنظمة المتزامنة والموزّعة، وهو عمل كُرّم بجائزة دايكسترا عام 2018. وتقوم على أبحاثه المناهج الحديثة لتحمّل الأعطال والحوسبة الجديرة بالثقة. وهو مدرَج بين الحائزين اليهود على جائزة دايكسترا لدى الفهرس السيري اليهودي Jinfo؛ ولا تفصّل السير السائدة خلفيته أكثر.
تحقّق وتعمّق عبر هذه المراجع الخارجية.
المصدر: Jinfo.org — Jewish recipients of the Dijkstra Prize
تصدر هذه الصفحة بسبع لغات انطلاقًا من نص إنجليزي. والترجمات تُراجَع، لكن قد يفلت خطأ. إن وجدت خطأً في هذا الملف — كلمة خاطئة، تاريخ ضائع، جملة تقول ما لا يقوله الإنجليزي — فأخبرنا.
شنايدر عالم حاسوب في جامعة كورنيل، أعطى مع بوين ألبيرن هذا الحقلَ تعريفاته الصورية الدقيقة لخاصيتَي 'السلامة' و'الحيوية' في الأنظمة المتزامنة والموزّعة، وهو عمل كُرّم بجائزة دايكسترا عام 2018.
المصدر: Jinfo.org — Jewish recipients of the Dijkstra Prize
