دانا سكوت

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
دانا سكوت
(بالإنجليزية: Dana Stewart Scott)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
Scott Dana small.jpg
 

معلومات شخصية
الميلاد 11 أكتوبر 1932 (90 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
بيركيلي، كاليفورنيا  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة Flag of the United States.svg الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في جمعية الرياضيات الأمريكية،  والأكاديمية الوطنية للعلوم،  والأكاديمية الأوروبية[1]،  والأكاديمية الفنلندية للعلوم والآداب  [لغات أخرى]،  والأكاديمية الأمريكية للفنون والعلوم،  وجمعية آلات الحوسبة  تعديل قيمة خاصية (P463) في ويكي بيانات
الزوجة Irene Schreier Scott[2]  تعديل قيمة خاصية (P26) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة برنستون
جامعة كاليفورنيا، بركلي  تعديل قيمة خاصية (P69) في ويكي بيانات
شهادة جامعية دكتوراه في الفلسفة  تعديل قيمة خاصية (P512) في ويكي بيانات
مشرف الدكتوراه ألونزو تشرتش  تعديل قيمة خاصية (P184) في ويكي بيانات
طلاب الدكتوراه جاك كوبلاند،  و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  تعديل قيمة خاصية (P185) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  ومهندس،  وطوبولوجي،  وأستاذ جامعي  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الإنجليزية[3]  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل شبكية،  ومنطق رياضي،  ونظرية النموذج،  وطوبولوجيا،  وبرمجة  تعديل قيمة خاصية (P101) في ويكي بيانات
موظف في جامعة كاليفورنيا، بركلي،  وجامعة شيكاغو،  وجامعة كارنيغي ميلون،  وجامعة لينتس  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز
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 
زميل الجمعية الأمريكية للرياضيات  [لغات أخرى] 
الدكتوراه الفخرية من جامعة إدنبرة  [لغات أخرى]   تعديل قيمة خاصية (P166) في ويكي بيانات
المواقع
الموقع الموقع الرسمي  تعديل قيمة خاصية (P856) في ويكي بيانات

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

مراجع[عدل]

  1. ^ https://www.ae-info.org/ae/User/Scott_Dana
  2. ^ المخترع: جون أوكونور و إدموند روبرتسونhttps://mathshistory.st-andrews.ac.uk/Biographies/Schreier/
  3. ^ مُعرِّف الضَّبط الاستناديِّ في قاعدة البيانات الوطنيَّة التشيكيَّة (NKCR AUT): https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=xx0267847 — تاريخ الاطلاع: 1 مارس 2022
  4. ^ https://awards.acm.org/award_winners/scott_1193622#158
  5. ^ معرف زملاء غوغنهايم: https://www.gf.org/fellows/all-fellows/dana-s-scott/
  6. ^ https://amturing.acm.org/award_winners/scott_1193622.cfm
  7. ^ https://awards.acm.org/award_winners/scott_1193622#140

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