ألين إيمرسون

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
ألين إيمرسون
معلومات شخصية

ألين إيمرسون (بالإنجليزية: E. Allen Emerson)‏ ولد في 2 يونيو 1954 عالم حاسوب أمريكي، اشتهر في مجال علم الحاسوب بمساهماته في، فاز بجائزة تورنغ في عام 2007.[1]

مراجع

  1. ^ "ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs". جامعة تكساس، أوستن. 2008-02-04. مؤرشف من الأصل في 2008-05-09. اطلع عليه بتاريخ أغسطس 2020. {{استشهاد ويب}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)

وصلات خارجية