ألين إيمرسون

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
ألين إيمرسون
معلومات شخصية
الميلاد 2 يونيو 1954 (66 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
دالاس، تكساس[1]  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة Flag of the United States.svg الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة هارفارد
جامعة تكساس في أوستن
كلية الهندسة والعلوم التطبيقية بجامعة هارفارد  [لغات أخرى]  تعديل قيمة خاصية (P69) في ويكي بيانات
مشرف الدكتوراه إدموند كلارك  تعديل قيمة خاصية (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". جامعة تكساس، أوستن. 2008-02-04. مؤرشف من الأصل في 09 مايو 2008. اطلع عليه بتاريخ أغسطس 2020. الوسيط |CitationClass= تم تجاهله (مساعدة); تحقق من التاريخ في: |تاريخ الوصول= (مساعدة)

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

Flag of the United States.svg
هذه بذرة مقالة عن عالم حاسوب أمريكي بحاجة للتوسيع. شارك في تحريرها.
Flag of the United States.svg
هذه بذرة مقالة عن أستاذ جامعي أمريكي بحاجة للتوسيع. شارك في تحريرها.
Flag of the United States.svg
هذه بذرة مقالة عن مهندس أمريكي بحاجة للتوسيع. شارك في تحريرها.