انتقل إلى المحتوى

ألين إيمرسون

من ويكيبيديا، الموسوعة الحرة
ألين إيمرسون
 
معلومات شخصية
الميلاد 2 يونيو 1954 (70 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
دالاس  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة هارفارد
جامعة تكساس في أوستن
كلية الهندسة والعلوم التطبيقية بجامعة هارفارد  [لغات أخرى]‏  تعديل قيمة خاصية (P69) في ويكي بيانات
شهادة جامعية دكتوراه الفلسفة  تعديل قيمة خاصية (P512) في ويكي بيانات
مشرف الدكتوراه إدموند كلارك  تعديل قيمة خاصية (P184) في ويكي بيانات
تعلم لدى إدموند كلارك  تعديل قيمة خاصية (P1066) في ويكي بيانات
المهنة عالم حاسوب،  ومهندس،  وأستاذ جامعي  تعديل قيمة خاصية (P106) في ويكي بيانات
موظف في جامعة تكساس في أوستن  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز
المواقع
الموقع الموقع الرسمي  تعديل قيمة خاصية (P856) في ويكي بيانات

ألين إيمرسون (بالإنجليزية: E. Allen Emerson)‏ ولد في 2 يونيو 1954 عالم حاسوب أمريكي، اشتهر في مجال علم الحاسوب بمساهماته في، فاز بجائزة تورنغ في عام 2007.[3]

مراجع

[عدل]
  1. ^ https://techpolicy.acm.org/2008/02/2008-turing-award-winner-announced/. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  2. ^ http://www.acm.org/announcements/kanellakis99.html. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  3. ^ "ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs". جامعة تكساس، أوستن. 2008-02-04. مؤرشف من الأصل في 2008-05-09. اطلع عليه بتاريخ أغسطس 2020. {{استشهاد ويب}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)

وصلات خارجية

[عدل]