حساب کاربری
​
زمان تقریبی مطالعه: 1 دقیقه
لینک کوتاه

رابین میلز

دانشمند علوم کامپیوتر و مهندس بریتانیایی

آرتور جان رابین میلنر (انگلیسی: Arthur John Robin Gorell Milner; ۱۳ ژانویهٔ ۱۹۳۴ – ۲۰ مارس ۲۰۱۰) یک دانشمند در زمینه علوم رایانه اهل بریتانیا بود.

رابین میلنر
نام در زمان تولدآرتور جان رابین میلنر
زادهٔ۱۳ ژانویهٔ ۱۹۳۴
پلیموث (انگلستان)
درگذشت۲۰ مارس ۲۰۱۰ (۷۶ سال)
کمبریج
شناخته‌شده برای
  • LCF
  • ام‌ال
  • حساب سیستم‌های ارتباطی
  • حساب پی
  • Hindley-Milner type inference
جایزه(ها)
  • جایزه تورینگ (۱۹۹۱)
  • انجمن سلطنتی
  • انجمن سلطنتی ادینبورگ
پیشینه علمی
شاخه(ها)علوم رایانه
محل کار
  • فرانتی
  • دانشگاه لندن سیتی
  • دانشگاه سوانسی
  • دانشگاه استنفورد
  • دانشگاه ادینبرو
  • دانشگاه کمبریج
  • دانشگاه آرهوس
استاد راهنماNone, as Milner never did a PhD
دانشجویان دکتریGeorge Milne
Avra Cohn
Raymond Aubin
Mike Sanderson
Alan Mycroft
Luis Damas
Brian Monahan
Kevin Mitchell
Kim Larsen (۱۹۸۶)
Mads Tofte (۱۹۸۸)
K.V.S. Prasad (۱۹۸۹)
Faron Moller
Dave Berry
Chris Tofts
Peter Sewell
Davide Sangiorgi (۱۹۹۳)
David N. Turner (۱۹۹۵)
Alex Mifsud
James J. Leifer (2001)

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

زندگی، تحصیل و شغل

میلنر در یالمپتون، نزدیک پلیموث، انگلستان در یک خانواده نظامی متولد شد. او در سال ۱۹۴۷ بورسیه پادشاهی را برای کالج ایتن دریافت کرد و در سال ۱۹۵۲ جایزه تام‌لاین (بالاترین جایزه ریاضیات در اتون) را دریافت کرد. سپس در سپاه مهندسین سلطنتی خدمت کرد و به درجه ستوان دومی رسید. بعد از آن در کالج کینگ، کمبریج ثبت نام کرد و در سال ۱۹۵۷ فارغ التحصیل شد. میلنر ابتدا به عنوان معلم مدرسه و سپس به عنوان برنامه‌نویس در فرانتی و قبل از ورود به دانشگاه در دانشگاه لندن سیتی، سپس دانشگاه سوانسی، دانشگاه استنفورد، و از سال ۱۹۷۳ در دانشگاه ادینبرو، جایی که او یکی از بنیانگذاران آزمایشگاه بنیادهای علوم رایانه (LFCS) بود، کار کرد.

منابع

  1. ↑ . doi:10.1145/151233.151240. ; ;
  2. ↑ Interview with Robin Milner by Martin Berger.
  3. ↑ رابین میلز at Mathematics Genealogy Project
  4. ↑ "The Times & The Sunday Times". www.thetimes.co.uk (به انگلیسی). Retrieved 2022-09-16.
  5. ↑ Hoffmann, Leah (2010-06-01). "Robin Milner: the elegant pragmatist". Communications of the ACM. 53 (6): 20–21. doi:10.1145/1743546.1743556. ISSN 0001-0782.
  6. ↑ «Department of Computer Science and Technology – Obituaries: Robin Milner, 1934–2010». www.cl.cam.ac.uk. دریافت‌شده در ۲۰۲۲-۰۹-۱۶.
  7. ↑ «Robin Milner». www.cl.cam.ac.uk. دریافت‌شده در ۲۰۲۲-۰۹-۱۶.
  8. ↑ "Robin Milner - Home". Author DO Series (به انگلیسی). Retrieved 2022-09-16.
  • «Robin Milner». دریافت‌شده در ۲۵ ژوئیه ۲۰۱۴.
آخرین نظرات
  • بریتانیا
کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.