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