ألين إيمرسون

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

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

مراجع[عدل]

  1. ^ وصلة : https://d-nb.info/gnd/1028534892 — تاريخ الاطلاع: 11 ديسمبر 2014 — الرخصة: CC0
  2. ^ "ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs"، جامعة تكساس، أوستن، 04 فبراير 2008، مؤرشف من الأصل في 09 مايو 2008، اطلع عليه بتاريخ أغسطس 2020. {{استشهاد ويب}}: تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)

وصلات خارجية[عدل]