از ویکی‌پدیا، دانشنامهٔ آزاد
| دانا اسکات | |
|---|---|
 |
|
| زادهٔ | ۱۱ اکتبر ۱۹۳۲ (۸۸ سال) |
| محل تحصیل | 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[۱] |
دِینا اسکات (انگلیسی: Dana Scott؛ زاده ۱۱ اکتبر ۱۹۳۲) استاد بازنشستهٔ دانشگاه کارنگی ملون، ریاضی‌دان و فیلسوف و متخصص مشهور آمریکاییِ علوم کامپیوتر است. اسکات در سال ۱۹۵۴ در دانشگاه پرینستون و در منطق ریاضی زیر نظر آلونزو چرچ دکتری گرفته است و در آکسفورد و برکلی استاد بوده است. در حیطه‌های گوناگونی از منطق ریاضی اسکات دارای آثار بسیار مهمی است، از جمله در نظریهٔ مجموعه‌ها و منطق موجهات و منطق‌های نامتناهی.
در فلسفه و منطق، اسکات برندهٔ جایزه‌ٔ شوک در ۱۹۹۷ شده است (پس از مایکل دامت و پیش از جان رولز). در علوم کامپیوتر نیز او، به همراه مایکل رابین، در ۱۹۷۶ برندهٔ جایزه تورینگ شده است.
منابع
- ↑ “Dana Stewart Scott”. Mathematics Genealogy Project. North Dakota State University. Retrieved December 26, 2011.
- مشارکت‌کنندگان ویکی‌پدیا. «Dana Scott». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۹ آوریل ۲۰۱۴.
- «Dana Scott». بایگانی‌شده از اصلی در ۷ اکتبر ۲۰۱۴. دریافت‌شده در ۱۹ آوریل ۲۰۱۴.
