ألين إيمرسون
اذهب إلى التنقل
اذهب إلى البحث
هذه المقالة تعتمد اعتماداً كاملاً أو شبه كامل على مصدر وحيد، رجاء ساعد في تحسين هذه المقالة بإضافة مصادر مناسبة. (ديسمبر 2018)
| Edmund Allen Emerson | |
|---|---|
| معلومات شخصية | |
| الميلاد | 2 يونيو 1954 دالاس، تكساس, الولايات المتحدة |
| الجنسية | أمريكي |
| الحياة العملية | |
| المؤسسات | جامعة تكساس، أوستن, الولايات المتحدة |
| المدرسة الأم | جامعة هارفارد جامعة تكساس في أوستن |
| مشرف الدكتوراه | إدموند كلارك |
| تعلم لدى | إدموند كلارك |
| المهنة | عالم حاسوب، ومهندس، وأستاذ جامعي |
| مجال العمل | علم الحاسوب |
| موظف في | جامعة تكساس في أوستن |
| الجوائز | |
| جائزة تورنغ | |
| المواقع | |
| الموقع | الموقع الرسمي |
تعديل مصدري - تعديل  | |
ألين إيمرسون (بالإنجليزية: E. Allen Emerson) ولد في 2 يونيو 1954 عالم حاسوب أمريكي، اشتهر في مجال علم الحاسوب بمساهماته في ، فاز بجائزة تورنغ في عام 2007.[1]
مراجع[عدل]
- ^ "ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs". جامعة تكساس، أوستن. 2008-02-04. مؤرشف من الأصل في 09 مايو 2008.
وصلات خارجية[عدل]
- E. Allen Emerson's homepage at the University of Texas at Austin
- ألين إيمرسون في شجرة علماء الرياضيات
