گوردون پلوتکین

گوردون پلوتکین
FRS FRSE MAE
At the MFCS 2005 conference
نام هنگام تولدGordon David Plotkin
زادهٔ۹ سپتامبر ۱۹۴۶ ‏(۷۹ سال)[۱]
گلاسگو
ملیتاسکاتلند
محل تحصیلدانشگاه گلاسگو (BSc)
دانشگاه ادینبرو (PhD)
شناخته‌شده
برای		Programming Computable Functions
Unbounded nondeterminism
Operational semantics
نظریه دامنه
جوایز
  • Milner Award (2012)
  • Royal Society Wolfson Research Merit Award
  • EATCS Award
پیشینه علمی
شاخه(ها)منطق
ریاضیات
علوم رایانه
محل کاردانشگاه ادینبرو
Laboratory for Foundations of Computer Science
School of Informatics
دانشگاه گلاسگو
پایان‌نامهAutomatic methods of inductive inference (۱۹۷۲)
استاد راهنما
دانشجویان دکتری
وبگاه

گوردون پلوتکین (انگلیسی: Gordon Plotkin؛ زادهٔ ۹ سپتامبر ۱۹۴۶[۱]) دانشمند در زمینه منطق، ریاضیات، و علوم رایانه اهل اسکاتلند است.

وی همچنین برندهٔ جوایزی همچون همکار انجمن سلطنتی شده‌است.

منابع

  1. 1 2 Plotkin, Prof. Gordon David. Who's Who (online انتشارات دانشگاه آکسفورد ed.). A & C Black, an imprint of Bloomsbury Publishing plc. (نیازمند آبونمان) خطای یادکرد: برچسب <ref> نامعتبر؛ نام «whoswho» چندین بار با محتوای متفاوت تعریف شده است. (صفحهٔ راهنما را مطالعه کنید.).
  2. ↑ گوردون پلوتکین at Mathematics Genealogy Project
  3. ↑ خطای یادکرد: خطای یادکرد:برچسب <ref>‎ غیرمجاز؛ متنی برای یادکردهای با نام plotkinphd وارد نشده است. (صفحهٔ راهنما را مطالعه کنید.).
  4. ↑ Cardelli, Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh. hdl:1842/13308. EThOS uk.bl.ethos.253190.
  5. ↑ Gardner, Philippa (1992). Representing logics in type theory (PhD thesis). University of Edinburgh. hdl:1842/14888. EThOS uk.bl.ethos.651333. Free to read
  6. ↑ Gurr, Douglas John (1990). Semantic frameworks for complexity (PhD thesis). University of Edinburgh. hdl:1842/13968. OCLC 475827463. EThOS uk.bl.ethos.651894. Free to read
  7. ↑ Moggi, Eugenio (1999). The partial lambda calculus (PhD thesis). University of Edinburgh. hdl:1842/419.
  8. ↑ Wèi, Lǐ (1983). An operational approach to semantics and translation for programming languages (PhD thesis). hdl:1842/6636.
This article is issued from ویکی‌پدیا. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.