ألين إيمرسون
ألين إيمرسون | |
---|---|
معلومات شخصية | |
الميلاد | 2 يونيو 1954 (69 سنة) دالاس، تكساس[1] |
مواطنة | ![]() |
الحياة العملية | |
المدرسة الأم | جامعة هارفارد جامعة تكساس في أوستن كلية الهندسة والعلوم التطبيقية بجامعة هارفارد |
شهادة جامعية | دكتوراه في الفلسفة |
مشرف الدكتوراه | إدموند كلارك |
تعلم لدى | إدموند كلارك |
المهنة | عالم حاسوب، ومهندس، وأستاذ جامعي |
موظف في | جامعة تكساس في أوستن |
الجوائز | |
المواقع | |
الموقع | الموقع الرسمي |
تعديل مصدري - تعديل ![]() |
ألين إيمرسون (بالإنجليزية: E. Allen Emerson) ولد في 2 يونيو 1954 عالم حاسوب أمريكي، اشتهر في مجال علم الحاسوب بمساهماته في، فاز بجائزة تورنغ في عام 2007.[2]
مراجع[عدل]
- ^ وصلة : https://d-nb.info/gnd/1028534892 — تاريخ الاطلاع: 11 ديسمبر 2014 — الرخصة: CC0
- ^ "ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs". جامعة تكساس، أوستن. 2008-02-04. مؤرشف من الأصل في 2008-05-09. اطلع عليه بتاريخ أغسطس 2020.
{{استشهاد ويب}}
: تحقق من التاريخ في:|تاريخ الوصول=
(مساعدة)