رابین میلز

رابین میلز
رابین میلز
زاده	Arthur John Robin Gorell Milner; ۱۳ ژانویهٔ ۱۹۳۴; پلیموث (انگلستان)
درگذشت	۲۰ مارس ۲۰۱۰ میلادی (۷۶ سال); کمبریج
شناخته‌شده برای	LCF; ام‌ال; Calculus of communicating systems; Pi-calculus; Hindley-Milner type inference;
جایزه‌ها	جایزه تورینگ (۱۹۹۱); انجمن سلطنتی; FRSE;
	موقعیت‌های علمی
موضوع‌ها	علوم رایانه
مؤسسه‌ها	Ferranti; City University, London; Swansea University; دانشگاه استنفورد; دانشگاه ادینبرو; دانشگاه کمبریج; Aarhus University;
استاد راهنما	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 (۲۰۰۱)

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

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

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

↑ doi:10.1145/151233.151240
این یادکرد به طور خودکار درست خواهد شد می‌توانید به صف ببرید یا خودتان دستی درست کنید
↑ Interview with Robin Milner by Martin Berger.
↑ رابین میلز در پروژه تبارشناسی ریاضیات

مشارکت‌کنندگان ویکی‌پدیا. «Robin Milner». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۵ ژوئیه ۲۰۱۴.
«Robin Milner». بازبینی‌شده در ۲۵ ژوئیه ۲۰۱۴.

این یک مقالهٔ خرد علوم رایانه است. با گسترش آن به ویکی‌پدیا کمک کنید.

[1] :10.1145/151233.151240
این یادکرد به طور خودکار درست خواهد شد می‌توانید به صف ببرید یا خودتان دستی درست کنید

[2] Interview with Robin Milner by Martin Berger.

[mathgene-3] رابین میلز در پروژه تبارشناسی ریاضیات

[۱]

[۲]

[۳]

رابین میلز

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

منوی ناوبری

ابزارهای شخصی

فضاهای نام

گویش‌ها

بازدیدها

بیشتر

جستجو

بازدید محتوا

همکاری

نسخه‌برداری

ابزارها

به زبان‌های دیگر

رابین میلز
زاده	Arthur John Robin Gorell Milner ۱۳ ژانویهٔ ۱۹۳۴(1934-01-13) پلیموث (انگلستان)
درگذشت	۲۰ مارس ۲۰۱۰ میلادی (۷۶ سال) کمبریج
شناخته‌شده برای	LCF ام‌ال Calculus of communicating systems Pi-calculus Hindley-Milner type inference
جایزه‌ها	جایزه تورینگ (۱۹۹۱)^[۱] انجمن سلطنتی FRSE
موقعیت‌های علمی
موضوع‌ها	علوم رایانه
مؤسسه‌ها	Ferranti City University, London Swansea University دانشگاه استنفورد دانشگاه ادینبرو دانشگاه کمبریج Aarhus University
استاد راهنما	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 (۲۰۰۱)^[۳]