دانا سكوت
اذهب إلى التنقل
اذهب إلى البحث
دانا سكوت | |
---|---|
(بالإنجليزية: Dana Stewart Scott) | |
معلومات شخصية | |
الميلاد | 11 أكتوبر 1932 (90 سنة) بيركيلي، كاليفورنيا |
مواطنة | ![]() |
عضو في | جمعية الرياضيات الأمريكية، والأكاديمية الوطنية للعلوم، والأكاديمية الأوروبية[1]، والأكاديمية الفنلندية للعلوم والآداب ، والأكاديمية الأمريكية للفنون والعلوم، وجمعية آلات الحوسبة |
الزوجة | Irene Schreier Scott[2] |
الحياة العملية | |
المدرسة الأم | جامعة برنستون جامعة كاليفورنيا، بركلي |
شهادة جامعية | دكتوراه في الفلسفة |
مشرف الدكتوراه | ألونزو تشرتش |
طلاب الدكتوراه | جاك كوبلاند، وMichael Fourman، وKenneth Kunen، وAngus Macintyre، وKetan Mulmuley، وMarko Petkovšek، وفرد إس. روبرتس، ودايفيد تورنر، وKosta Došen، وWilliam Chesley Rounds، وJon Barwise، وRoy Dyckhoff، وJames Daniel Halpern، وأندريه باور ، وMichael Katz، وCarl Allen Gunter، وPeter Holger Krauss، وDaniel B. Demaree، وDaniel Gallin، وEdgar George Kenneth Lopez-Escobar، وPeter Perkins، وNicolas Daniels Goodman، وRichard Beech Mansfield، وWilliam Frederick Ogden، وLjubomir Perkovic، وLars Birkedal، وKim Ritter Wagner، وJ. Todd Wilson، وVijay Saraswat، وJesse Hughes، وMichael B. Smyth، وBrian Farrell Chellas، وK. Krister (Karl) Segerberg، وWilliam James Meyers، وShun-On Adrian Tang، وJay David Atlas، وMartin K. Davies، وRobin John Grayson، وWilliam Bragg Ewald، وJohn Cartmell، وJoseph E. Quinsey، وStephen R. Blamey، وMarcus Giaquinto، وJoseph Almog، وFelipe Bracho، وDavid Charles McCarty، وSidney C. Bailin، وGiuseppe Rosolini، وJohn L. Mumma، وChristopher Carlson، وJeff Heisserman |
المهنة | رياضياتي، وعالم حاسوب، ومهندس، وطوبولوجي، وأستاذ جامعي |
اللغات | الإنجليزية[3] |
مجال العمل | شبكية، ومنطق رياضي، ونظرية النموذج، وطوبولوجيا، وبرمجة |
موظف في | جامعة كاليفورنيا، بركلي، وجامعة شيكاغو، وجامعة كارنيغي ميلون، وجامعة لينتس |
الجوائز | |
EATCS award (2007) Rolf Schock Prize in Logic and Philosophy (1997) Rolf Schock Prizes (1997) زمالة رابطة مكائن الحوسبة (1994)[4] Gödel Lecturer (1991) جائزة هارولد بندر (1990) زمالة غوغنهايم (1978)[5] جائزة تورنغ (1976)[6][7] جائزة لوري ستيل (1972) honorary doctor of the University of Utrecht زميل الجمعية الأمريكية للرياضيات الدكتوراه الفخرية من جامعة إدنبرة |
|
المواقع | |
الموقع | الموقع الرسمي |
تعديل مصدري - تعديل ![]() |
دانا سكوت (بالإنجليزية: Dana Scott) عالم حاسوب أمريكي، اشتهر بعمله في مجال علم الحاسوب ورياضياتوفلسفة، فاز مع مايكل رابينبجائزة تورنغ في عام 1976.
مراجع[عدل]
- ^ https://www.ae-info.org/ae/User/Scott_Dana
- ^ المخترع: جون أوكونور و إدموند روبرتسون — https://mathshistory.st-andrews.ac.uk/Biographies/Schreier/
- ^ مُعرِّف الضَّبط الاستناديِّ في قاعدة البيانات الوطنيَّة التشيكيَّة (NKCR AUT): https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=xx0267847 — تاريخ الاطلاع: 1 مارس 2022
- ^ https://awards.acm.org/award_winners/scott_1193622#158
- ^ معرف زملاء غوغنهايم: https://www.gf.org/fellows/all-fellows/dana-s-scott/
- ^ https://amturing.acm.org/award_winners/scott_1193622.cfm
- ^ https://awards.acm.org/award_winners/scott_1193622#140
وصلات خارجية[عدل]
![]() |
في كومنز صور وملفات عن: دانا سكوت |
تصنيفات:
- مواليد 1932
- مواليد في بيركيلي (كاليفورنيا)
- زملاء رابطة مكائن الحوسبة
- حائزون على زمالة غوغنهايم
- حائزون على جائزة تورنغ
- حاصلون على الدكتوراه الفخرية من جامعة أوتريخت
- أعضاء مجتمع الرياضيات الأمريكي
- حاصلون على الدكتوراه الفخرية من جامعة إدنبرة
- أساتذة جامعة كاليفورنيا في بركلي
- أشخاص من بيركيلي (كاليفورنيا)
- أعضاء الأكاديمية الوطنية الأمريكية للعلوم
- أعضاء هيئة تدريس جامعة شيكاغو
- أعضاء هيئة تدريس جامعة كارنيغي ميلون
- خريجو جامعة برنستون
- خريجو جامعة كاليفورنيا (بركلي)
- رياضياتيو القرن 20
- رياضياتيون أمريكيون في القرن 20
- رياضياتيون أمريكيون في القرن 21
- رياضياتيون أمريكيون
- عاملون في الطوبولوجيا
- عاملون في المنطق الرياضي
- عاملون في نظرية المجموعات
- علماء أمريكيون في القرن 20
- علماء أمريكيون في القرن 21
- علماء حاسوب أمريكيون
- علماء من كاليفورنيا
- متخصصون في علم المعاني
- منطقيون أمريكيون
- مهندسون أمريكيون في القرن 20
- مهندسون أمريكيون في القرن 21
- مهندسون من كاليفورنيا