جائزة تيورينج-ابتكار طرق ذكية للتحقق من سلامة الانظمة المحوسبة

الجوائز الدولية

بروفيسور امير بينوئيلي (1941–2009)
معهد فايتسمان للعلوم

كلما أصبحت النظم المحوسبة أكثر تعقيدا، كلما ازداد حصول أضرار. نظام مراقبة سيارة بلا سائق، نظام ادارة الطيران او خطأ في حساب جهاز طبي بل يمكن ان يؤدوا لفقدان حياة البشر. بروفيسور بينوئيلي قام بتطوير طرق وادوات لتحقق من سلامة هذه الانظمة. نشر له مقال علمي مهم بسنة 1976 عندما عمل بجامعة تل-ابيب. بسنة 1980عاد للعمل في معهد فايتسمان للعلوم، وفي سنة 1996 فاز، على البحث في هذا المجال، بجائزة تيورينج، الجائزة المرموقة في علم الحاسوب.