دینا اسکات

دانا اسکات
زادهٔ	۱۱ اکتبر ۱۹۳۲ ‏(۹۲ سال)
محل تحصیل	دکترای ریاضیات ۱۹۵۴, دانشگاه کالیفرنیا، برکلی دکترای فلسفه. ۱۹۵۸, دانشگاه پرینستون
شناخته‌شده برای	نظریه اتوماتا, معناشناسی زبان‌های برنامه‌نویسی
جوایز	جایزه تورینگ 1976, Tarski Lectures (other languages) 1989
پیشینه علمی
شاخه(ها)	علوم رایانه ریاضیات فلسفه
محل کار	دانشگاه کالیفرنیا، برکلی دانشگاه استنفورد دانشگاه آکسفورد دانشگاه کارنگی ملون
پایان‌نامه	دنباله‌های همگرا از نظریه های کامل (۱۹۵۸)
استاد راهنما	آلونزو چرچ
دانشجویان دکتری	جک کوپلند Michael Fourman Kenneth Kunen Angus Macintyre Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner[۱]

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

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

شروع کار حرفه‌ای

او مدرک کارشناسی در ریاضیات از دانشگاه کالیفرنیا، برکلی را در سال ۱۹۵۴ دریافت کرد. او در دانشگاه پرینستون پی‌اچ‌دی خود را با پایان‌نامه‌اش در مورد توالی همگرای نظریه‌های کامل تحت نظارت آلونزو چرچ گرفت و از پایان‌نامه‌اش در سال ۱۹۵۸ دفاع کرد.^[۴][۵][۶] پس از اتمام دکترای به دانشگاه شیکاگو نقل مکان کرد و تا سال ۱۹۶۰ به عنوان مربی در آنجا مشغول کار شد.^[۷][۸]

منابع

1. "Dana Stewart Scott". Mathematics Genealogy Project. North Dakota State University. Retrieved December 26, 2011.
2. "Dana Scott". Simons Institute for the Theory of Computing (به انگلیسی). Retrieved 2023-07-01.
3. «Dana Scott». Society for Science (به انگلیسی). دریافت‌شده در ۲۰۲۳-۰۷-۰۱.
4. «Dana Scott's Home Page». www.cs.cmu.edu. دریافت‌شده در ۲۰۲۳-۰۷-۰۱.
5. University, Carnegie Mellon. "Dana S. Scott - Mathematical Sciences - Mellon College of Science - Carnegie Mellon University". www.cmu.edu (به انگلیسی). Retrieved 2023-07-01.
6. «Computer Pioneers - Dana Stewart Scott». history.computer.org. دریافت‌شده در ۲۰۲۳-۰۷-۰۱.
7. «Dana S Scott - A.M. Turing Award Laureate». amturing.acm.org. دریافت‌شده در ۲۰۲۳-۰۷-۰۱.
8. "Dana Scott | Biography, A.M. Turing Award, & Facts | Britannica". www.britannica.com (به انگلیسی). Retrieved 2023-07-01.

• مشارکت‌کنندگان ویکی‌پدیا. «Dana Scott». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۹ آوریل ۲۰۱۴.
• «Dana Scott». بایگانی‌شده از اصلی در ۷ اکتبر ۲۰۱۴. دریافت‌شده در ۱۹ آوریل ۲۰۱۴.

پیوند به بیرون