Pierre Wolper
Pierre Wolper · التكنولوجيا والهندسة
فولبر، عالم الحاسوب البلجيكي من خلفية يهودية في جامعة لييج، شارك في تطوير المقاربة الأوتوماتية لفحص النماذج، باستخدام الأوتومات المنتهية والمنطق الزمني للتحقّق آليًا من أن أنظمة الحاسوب والعتاد تعمل بصورة صحيحة.
2000
بلجيكا (Liège — University of Liège)
فولبر، عالم الحاسوب البلجيكي من خلفية يهودية في جامعة لييج، شارك في تطوير المقاربة الأوتوماتية لفحص النماذج، باستخدام الأوتومات المنتهية والمنطق الزمني للتحقّق آليًا من أن أنظمة الحاسوب والعتاد تعمل بصورة صحيحة. وتقاسم جائزة غودل عام 2000، ثم صار رئيسًا لجامعته.
تحقّق وتعمّق عبر هذه المراجع الخارجية.
المصدر: Jinfo.org — Jewish recipients of the Gödel Prize
تصدر هذه الصفحة بسبع لغات انطلاقًا من نص إنجليزي. والترجمات تُراجَع، لكن قد يفلت خطأ. إن وجدت خطأً في هذا الملف — كلمة خاطئة، تاريخ ضائع، جملة تقول ما لا يقوله الإنجليزي — فأخبرنا.
فولبر، عالم الحاسوب البلجيكي من خلفية يهودية في جامعة لييج، شارك في تطوير المقاربة الأوتوماتية لفحص النماذج، باستخدام الأوتومات المنتهية والمنطق الزمني للتحقّق آليًا من أن أنظمة الحاسوب والعتاد تعمل بصورة صحيحة.
المصدر: Jinfo.org — Jewish recipients of the Gödel Prize
