ألين إيمرسون
| ألين إيمرسون | |
|---|---|
 |
|
| معلومات شخصية | |
| الميلاد | 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.
{{استشهاد ويب}}: تحقق من التاريخ في:|تاريخ الوصول=(مساعدة)
