دانا سكوت (Dana Scott) عالم حاسوب أمريكي، اشتهر بعمله في مجال علم الحاسوب ورياضياتوفلسفة، فاز مع مايكل رابينبجائزة تورنغ في عام 1976.
دانا سكوت | |
---|---|
(Dana Stewart Scott) | |
معلومات شخصية | |
الميلاد | 11 أكتوبر 1932 (88 سنة) بيركيلي، كاليفورنيا |
مواطنة | الولايات المتحدة |
عضو في | مجتمع الرياضيات الأمريكي، والأكاديمية الوطنية للعلوم، والأكاديمية الأوروبية[1]، والأكاديمية الفنلندية للعلوم والآداب، والأكاديمية الأمريكية للفنون والعلوم، ورابطة مكائن الحوسبة |
الحياة العملية | |
المدرسة الأم | جامعة برنستون جامعة كاليفورنيا، بركلي |
شهادة جامعية | دكتوراه في الفلسفة |
مشرف الدكتوراه | ألونزو تشرتش |
طلاب الدكتوراه | جاك كوبلاند، وفرد إس. روبرتس، ودايفيد تورنر |
المهنة | رياضياتي، وعالم حاسوب، ومهندس، وطوبولوجي، وأستاذ جامعي |
مجال العمل | شبكية (ترتيب)، ومنطق رياضي، ونظرية النموذج، وطوبولوجيا، وبرمجة |
موظف في | جامعة كاليفورنيا، بركلي، وجامعة شيكاغو، وجامعة كارنيغي ميلون |
الجوائز | |
زمالة رابطة مكائن الحوسبة (1994)[2] جائزة هارولد بندر (1990) جائزة تورنغ (1976)[3][4] جائزة لوري ستيل (1972) زميل الجمعية الأمريكية للرياضيات زمالة غوغنهايم |
|
المواقع | |
الموقع | الموقع الرسمي |