رابین میلز

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

رابین میلز
نام در زمان تولدArthur John Robin Gorell Milner
زادهٔ۱۳ ژانویهٔ ۱۹۳۴
پلیموث (انگلستان)
درگذشت۲۰ مارس ۲۰۱۰ (۷۶ سال)
کمبریج
شناخته‌شده برای
  • LCF
  • ام‌ال
  • Calculus of communicating systems
  • Pi-calculus
  • Hindley-Milner type inference
جایزه(ها)
پیشینه علمی
رشته(های) فعالیتعلوم رایانه
محل کار
استاد راهنماNone, as Milner never did a PhD[2]
دانشجویان دکتری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 (۲۰۰۱)[3]

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

منابع
  1. . doi:10.1145/151233.151240. Text "noedit" ignored (help); Missing or empty |title= (help)
  2. Interview with Robin Milner by Martin Berger.
  3. رابین میلز در پروژه تبارشناسی ریاضیات
  • مشارکت‌کنندگان ویکی‌پدیا. «Robin Milner». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۵ ژوئیه ۲۰۱۴.
  • «Robin Milner». دریافت‌شده در ۲۵ ژوئیه ۲۰۱۴.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.