دینا اسکات

دِینا اسکات (انگلیسی: Dana Scott‎؛ زاده ۱۱ اکتبر ۱۹۳۲) استاد بازنشستهٔ دانشگاه کارنگی ملون، ریاضی‌دان و فیلسوف و متخصص مشهور آمریکاییِ علوم کامپیوتر است. اسکات در سال ۱۹۵۴ در دانشگاه پرینستون و در منطق ریاضی زیر نظر آلونزو چرچ دکتری گرفته است و در آکسفورد و برکلی استاد بوده است. در حیطه‌های گوناگونی از منطق ریاضی اسکات دارای آثار بسیار مهمی است، از جمله در نظریهٔ مجموعه‌ها و منطق موجهات و منطق‌های نامتناهی.

دانا اسکات
زادهٔ	۱۱ اکتبر ۱۹۳۲ ‏(۸۸ سال)
محل تحصیل	B.A. (mathematics) 1954, دانشگاه کالیفرنیا، برکلی Ph.D. 1958, دانشگاه پرینستون
شناخته‌شده برای	نظریه اتوماتا, semantics of programming languages
جایزه(ها)	جایزه تورینگ 1976, Tarski Lectures (other languages) 1989
پیشینه علمی
رشته(های) فعالیت	علوم رایانه ریاضیات فلسفه
محل کار	دانشگاه کالیفرنیا، برکلی دانشگاه استنفورد دانشگاه آکسفورد دانشگاه کارنگی ملون
پایان‌نامه	Convergent Sequences of Complete Theories (1958)
استاد راهنما	آلونزو چرچ
دانشجویان دکتری	جک کوپلند Michael Fourman Kenneth Kunen Angus Macintyre Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner[1]

در فلسفه و منطق، اسکات برندهٔ جایزه‌ٔ شوک در ۱۹۹۷ شده است (پس از مایکل دامت و پیش از جان رولز). در علوم کامپیوتر نیز او، به همراه مایکل رابین، در ۱۹۷۶ برندهٔ جایزه تورینگ شده است.