دانا سكوت
من ويكيبيديا، الموسوعة الحرة
| Dana Stewart Scott | |
|---|---|
 |
|
| ولد في | 11 أكتوبر 1932 بيركيلي، كاليفورنيا |
| مجال البحث | علم الحاسوب رياضيات فلسفة |
| المؤسسات | جامعة كاليفورنيا، بركلي جامعة ستانفورد جامعة أوكسفورد جامعة كارنيجي ميلون |
| خريج | B.A. (mathematics) 1954, جامعة كاليفورنيا، بركلي Ph.D. 1958, جامعة برنستون |
| Thesis | (1958) |
| مشرف الدكتوراه | ألونزو تشرتش |
| اشتهر بـ | نظرية التشغيل الذاتي, سيمانتيك شكلي |
| جوائز | جائزة تورنج 1976, Tarski lectures 1989 |
دانا سكوت (بالإنكليزية: Dana Scott) عالم حاسوب أمريكي، اشتهر بعمله في مجال علم الحاسوب ورياضياتوفلسفة، فاز مع مايكل رابينبجائزة تورنج في عام 1976.
مراجع[عدل]
وصلات خارجية[عدل]
- Dana S. Scott home page
- DOMAIN 2002 Workshop on Domain Theory — held in honor of Scott's 70th birthday.
- دانا سكوت في شجرة علماء الرياضيات
- List of publications from Microsoft Academic Search
