دانا سكوت
دانا سكوت (بالإنجليزية: Dana Scott) عالم حاسوب أمريكي، اشتهر بعمله في مجال علم الحاسوب ورياضياتوفلسفة، فاز مع مايكل رابينبجائزة تورنغ في عام 1976.
| دانا سكوت | |
|---|---|
| (بالإنجليزية: Dana Stewart Scott) | |
 | |
| معلومات شخصية | |
| الميلاد | 11 أكتوبر 1932 (89 سنة) بيركيلي، كاليفورنيا |
| مواطنة |  الولايات المتحدة |
| عضو في | مجتمع الرياضيات الأمريكي ، والأكاديمية الوطنية للعلوم ، والأكاديمية الأوروبية [1]، والأكاديمية الفنلندية للعلوم والآداب ، والأكاديمية الأمريكية للفنون والعلوم ، وجمعية آلات الحوسبة |
| الحياة العملية | |
| المدرسة الأم | جامعة برنستون جامعة كاليفورنيا، بركلي |
| شهادة جامعية | دكتوراه في الفلسفة |
| مشرف الدكتوراه | ألونزو تشرتش |
| طلاب الدكتوراه | جاك كوبلاند ، وفرد إس. روبرتس ، ودايفيد تورنر ، وأندريه باور |
| المهنة | رياضياتي ، وعالم حاسوب ، ومهندس ، وطوبولوجي ، وأستاذ جامعي |
| مجال العمل | شبكية ، ومنطق رياضي ، ونظرية النموذج ، وطوبولوجيا ، وبرمجة |
| موظف في | جامعة كاليفورنيا، بركلي ، وجامعة شيكاغو ، وجامعة كارنيغي ميلون |
| الجوائز | |
زمالة رابطة مكائن الحوسبة (1994)[2] جائزة هارولد بندر (1990) زمالة غوغنهايم (1978)[3] جائزة تورنغ (1976)[4][5] جائزة لوري ستيل (1972) زميل الجمعية الأمريكية للرياضيات | |
| المواقع | |
| الموقع | الموقع الرسمي |
مراجع
وصلات خارجية
- دانا سكوت في شجرة علماء الرياضيات
- List of publications from Microsoft Academic Search
بوابة أعلام
بوابة الولايات المتحدة
بوابة رياضيات
بوابة علم الحاسوب
بوابة منطق
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.