رابین میلز

رابین میلنر
نام هنگام تولد	آرتور جان رابین میلنر
زادهٔ	۱۳ ژانویهٔ ۱۹۳۴ پلیموث (انگلستان)
درگذشت	۲۰ مارس ۲۰۱۰ (۷۶ سال) کمبریج
شناخته‌شده برای	LCF ام‌ال حساب سیستم‌های ارتباطی حساب پی استنتاج نوع هیندلی-میلنر
جوایز	جایزه تورینگ (۱۹۹۱)[۱] انجمن سلطنتی انجمن سلطنتی ادینبورگ
پیشینه علمی
شاخه(ها)	علوم رایانه
محل کار	فرانتی دانشگاه لندن سیتی دانشگاه سوانسی دانشگاه استنفورد دانشگاه ادینبرو دانشگاه کمبریج دانشگاه آرهوس
استاد راهنما	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)[۳]

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

وی همچنین برنده جوایزی همچون جایزه تورینگ شده‌است.^{[۴][۵][۶][۷][۸]}

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

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

منابع

1. . doi:10.1145/151233.151240. {{cite journal}}: ; Missing or empty |title= (help); Text "noedit" ignored (help)
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». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۵ ژوئیه ۲۰۱۴.
• «Robin Milner». دریافت‌شده در ۲۵ ژوئیه ۲۰۱۴.^{[پیوند مرده]}