دانا سكوت

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث


Dana Stewart Scott
صورة معبرة عن دانا سكوت

معلومات شخصية
الميلاد 11 أكتوبر 1932 (العمر 83 سنة)
بيركيلي، كاليفورنيا
الجنسية Flag of the United States.svg الولايات المتحدة الأمريكية تعديل القيمة في ويكي بيانات
عضو في الجمعية الرياضياتية الأمريكية، والأكاديمية الوطنية للعلوم، وAcademia Europaea، وFinnish Academy of Science and Letters تعديل القيمة في ويكي بيانات
الحياة العملية
المؤسسات جامعة كاليفورنيا، بركلي
جامعة ستانفورد
جامعة أوكسفورد
جامعة كارنيجي ميلون
الأطروحات 1958
المدرسة الأم B.A. (mathematics) 1954, جامعة كاليفورنيا، بركلي
Ph.D. 1958, جامعة برنستون
شهادة جامعية دكتوراه في الفلسفة تعديل القيمة في ويكي بيانات
مشرف الدكتوراه ألونزو تشرتش
طلاب الدكتوراه Jack Copeland، وMichael Fourman، وKenneth Kunen، وAngus Macintyre، وKetan Mulmuley، وMarko Petkovšek، وFred S. Roberts، وDavid Turner تعديل القيمة في ويكي بيانات
المهنة رياضياتي، وعالِم حاسب آلي، ومهندس، وtopologist، وبروفيسور (أستاذ جامعي) تعديل القيمة في ويكي بيانات
مجال العمل علم الحاسوب
رياضيات
فلسفة
سبب الشهرة نظرية التشغيل الذاتي, سيمانتيك شكلي
إدارة جامعة كاليفورنيا، بركلي، وجامعة شيكاغو تعديل القيمة في ويكي بيانات
الجوائز
جائزة تورنج 1976, Tarski lectures 1989
المواقع
الموقع http://www.cs.cmu.edu/~scott تعديل القيمة في ويكي بيانات


دانا سكوت (بالإنجليزية: Dana Scott) عالم حاسوب أمريكي، اشتهر بعمله في مجال علم الحاسوب ورياضياتوفلسفة، فاز مع مايكل رابينبجائزة تورنج في عام 1976.

مراجع[عدل]

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

Albert Einstein Head.jpg
هذه بذرة مقالة عن سيرة عالم أو باحث علمي بحاجة للتوسيع. شارك في تحريرها.