ألين إيمرسون
| ألين إيمرسون | |
|---|---|
| (بالإنجليزية: Ernest Allen Emerson) | |
.jpg) | |
| معلومات شخصية | |
| الميلاد | 2 يونيو 1954 دالاس |
| الوفاة | 15 أكتوبر 2024 (70 سنة)
[1] أوستن |
| مواطنة |  الولايات المتحدة |
| الحياة العملية | |
| المدرسة الأم | جامعة تكساس في أوستن (التخصص:رياضيات) (الشهادة:بكالوريوس العلوم) (–1976) كلية الهندسة والعلوم التطبيقية بجامعة هارفارد (التخصص:رياضيات تطبيقية) (الشهادة:دكتوراه الفلسفة) (–1981) |
| مشرف الدكتوراه | إدموند كلارك |
| المهنة | عالم حاسوب، ومهندس، وأستاذ جامعي |
| اللغات | الإنجليزية |
| مجال العمل | علم الحاسوب، ومعلوماتية |
| موظف في | جامعة تكساس في أوستن |
| الجوائز | |
| جائزة تورنغ (2007)[2] جائزة باريس كانيلاكيس (1998) | |
| المواقع | |
| الموقع | الموقع الرسمي (الإنجليزية) |
ألين إيمرسون (بالإنجليزية: E. Allen Emerson) ولد في 2 يونيو 1954 عالم حاسوب أمريكي، اشتهر في مجال علم الحاسوب بمساهماته في، فاز بجائزة تورنغ في عام 2007.[3]
مراجع
- ↑ "We bid farewell to E. Allen Emerson" (بالإنجليزية). Oct 2024. Retrieved 2024-10-19.
- ↑ "E. Allen Emerson" (بالإنجليزية). Association for Computing Machinery. Retrieved 2024-10-21.
- ↑ "ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs". جامعة تكساس، أوستن. 2008-02-04. مؤرشف من الأصل في 2008-05-09. اطلع عليه بتاريخ أغسطس 2020.
{{استشهاد ويب}}: تحقق من التاريخ في:|تاريخ الوصول=(مساعدة)
