ألين إيمرسون
اذهب إلى التنقل
اذهب إلى البحث
| ألين إيمرسون | |
|---|---|
| معلومات شخصية | |
| الميلاد | 2 يونيو 1954 (68 سنة) دالاس، تكساس[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"، جامعة تكساس، أوستن، 04 فبراير 2008، مؤرشف من الأصل في 09 مايو 2008، اطلع عليه بتاريخ أغسطس 2020.
{{استشهاد ويب}}: تحقق من التاريخ في:|تاريخ الوصول=(مساعدة)
