أمير بنولي
أمير بنولي · التكنولوجيا والهندسة
بنويلي، يهودي مولود في إسرائيل نشأ في موشاف نهلال، درس الرياضيات أولًا في التخنيون قبل أن يتّجه إلى علم الحاسوب.
1941, Nahalal, الانتداب البريطاني على فلسطين (اليوم إسرائيل) — 2009, مدينة نيويورك, الولايات المتحدة
إسرائيل (Weizmann Institute · Tel Aviv University) · الولايات المتحدة (New York University)
بنويلي، يهودي مولود في إسرائيل نشأ في موشاف نهلال، درس الرياضيات أولًا في التخنيون قبل أن يتّجه إلى علم الحاسوب. وفي ورقة مفصلية عام 1977، أدخل «المنطق الزمني» — لغة صورية من «دائمًا» و«في نهاية المطاف» — طريقةً صارمة لتحديد سلوك البرامج المتزامنة والتفاعلية عبر الزمن والتحقّق منه. وقد أسّس هذا العمل مجال «التحقّق الصوري» وأكسبه جائزة تورينغ عام 1996؛ وأهميته أنه يتيح للمهندسين البرهنة رياضيًا على أن البرمجيات الحرجة لن تُخفق.
تحقّق وتعمّق عبر هذه المراجع الخارجية.
المصدر: Jinfo.org — Jewish recipients of the Turing Award
تصدر هذه الصفحة بسبع لغات انطلاقًا من نص إنجليزي. والترجمات تُراجَع، لكن قد يفلت خطأ. إن وجدت خطأً في هذا الملف — كلمة خاطئة، تاريخ ضائع، جملة تقول ما لا يقوله الإنجليزي — فأخبرنا.
بنويلي، يهودي مولود في إسرائيل نشأ في موشاف نهلال، درس الرياضيات أولًا في التخنيون قبل أن يتّجه إلى علم الحاسوب.
المصدر: Jinfo.org — Jewish recipients of the Turing Award
