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