دانا اسکات

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

دانا اسکات (انگلیسی: Dana Scott؛ زاده ۱۱ اکتبر ۱۹۳۲(1932-10-11)) یک دانشمند در زمینه توری (ترتیب) اهل ایالات متحده آمریکا است.

وی همچنین برنده جوایزی همچون جایزه تورینگ شده است.

منابع[ویرایش]

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


پیوند به بیرون[ویرایش]