ألين إيمرسون
المظهر
ألين إيمرسون | |
---|---|
معلومات شخصية | |
الميلاد | 2 يونيو 1954 (70 سنة) دالاس |
مواطنة | الولايات المتحدة |
الحياة العملية | |
المدرسة الأم | جامعة هارفارد جامعة تكساس في أوستن كلية الهندسة والعلوم التطبيقية بجامعة هارفارد |
شهادة جامعية | دكتوراه الفلسفة |
مشرف الدكتوراه | إدموند كلارك |
تعلم لدى | إدموند كلارك |
المهنة | عالم حاسوب، ومهندس، وأستاذ جامعي |
موظف في | جامعة تكساس في أوستن |
الجوائز | |
المواقع | |
الموقع | الموقع الرسمي |
تعديل مصدري - تعديل |
ألين إيمرسون (بالإنجليزية: E. Allen Emerson) ولد في 2 يونيو 1954 عالم حاسوب أمريكي، اشتهر في مجال علم الحاسوب بمساهماته في، فاز بجائزة تورنغ في عام 2007.[3]
مراجع
[عدل]- ^ https://techpolicy.acm.org/2008/02/2008-turing-award-winner-announced/.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ http://www.acm.org/announcements/kanellakis99.html.
{{استشهاد ويب}}
:|url=
بحاجة لعنوان (مساعدة) والوسيط|title=
غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ "ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs". جامعة تكساس، أوستن. 2008-02-04. مؤرشف من الأصل في 2008-05-09. اطلع عليه بتاريخ أغسطس 2020.
{{استشهاد ويب}}
: تحقق من التاريخ في:|تاريخ الوصول=
(مساعدة)