Robert Kurshan
Robert Kurshan · التكنولوجيا والهندسة
كورشان، عالِم حاسوب أمريكي مُدرَج ضمن الشخصيات اليهودية في الحوسبة، نقل التحقّق النموذجي القائم على نظرية الآلات المنتهية من النظرية إلى التحقّق الصناعي من العتاد.
2005
الولايات المتحدة
كورشان، عالِم حاسوب أمريكي مُدرَج ضمن الشخصيات اليهودية في الحوسبة، نقل التحقّق النموذجي القائم على نظرية الآلات المنتهية من النظرية إلى التحقّق الصناعي من العتاد. في مختبرات بيل بنى أدوات مكّنت المهندسين من إثبات صحّة تصاميم الدارات المعقّدة صوريًا. تقاسم جائزة كانيلاكيس عام 2005 لجعله التحقّق الصوري عمليًا.
تحقّق وتعمّق عبر هذه المراجع الخارجية.
المصدر: Jinfo.org — Jewish recipients of the Kanellakis Award
تصدر هذه الصفحة بسبع لغات انطلاقًا من نص إنجليزي. والترجمات تُراجَع، لكن قد يفلت خطأ. إن وجدت خطأً في هذا الملف — كلمة خاطئة، تاريخ ضائع، جملة تقول ما لا يقوله الإنجليزي — فأخبرنا.
كورشان، عالِم حاسوب أمريكي مُدرَج ضمن الشخصيات اليهودية في الحوسبة، نقل التحقّق النموذجي القائم على نظرية الآلات المنتهية من النظرية إلى التحقّق الصناعي من العتاد.
المصدر: Jinfo.org — Jewish recipients of the Kanellakis Award
