روبن ميلنر

آرثر جون روبن غوريل ميلنر (13 يناير 1934 - 20 مارس 2010) كان عالم حاسوب بريطانيًا ، وقد فاز بجائزة تورينج من جمعية آلات الحوسبة (ACM ) عام 1991. ^{[ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ]}

وُلد ميلنر في يالمبتون ، بالقرب من بليموث ، إنجلترا ، لعائلة عسكرية. حصل على منحة دراسية ملكية في كلية إيتون عام 1947، ونال جائزة توملاين (أعلى جائزة في الرياضيات في إيتون) عام 1952. بعد ذلك، خدم في سلاح المهندسين الملكي ، وحصل على رتبة ملازم ثانٍ. ثم التحق بكلية كينجز، كامبريدج ، وتخرج منها عام 1957. ^{[ 10 ]} عمل ميلنر في البداية مدرسًا، ثم مبرمجًا في شركة فيرانتي ، قبل أن يلتحق بالأوساط الأكاديمية في جامعة سيتي بلندن ، ثم جامعة سوانزي ، وجامعة ستانفورد ، ومنذ عام 1973 في جامعة إدنبرة ، حيث شارك في تأسيس مختبر أسس علوم الحاسوب (LFCS). عاد إلى كامبريدج رئيسًا لمختبر الحاسوب عام 1995، ثم تنحى عن منصبه لاحقًا، مع بقائه في المختبر. منذ عام 2009، كان ميلنر زميلًا باحثًا متقدمًا في التحالف الاسكتلندي للمعلوماتية وعلوم الحاسوب، وشغل (بدوام جزئي) كرسي علوم الحاسوب في جامعة إدنبرة .

توفي ميلنر إثر نوبة قلبية في 20 مارس 2010 في كامبريدج. ^{[ 4 ] [ 11 ]} وتوفيت زوجته لوسي قبل وفاته بفترة وجيزة. ^{[ 12 ]}

يُعتبر ميلنر عمومًا صاحب ثلاث إسهامات رئيسية في علوم الحاسوب . فقد طوّر منطق الدوال القابلة للحساب (LCF)، وهي إحدى أوائل الأدوات المستخدمة في إثبات النظريات آليًا . وكانت لغة ML ، التي طوّرها لمنطق الدوال القابلة للحساب، أول لغة تتميز باستنتاج أنواع متعددة الأشكال ، ومعالجة استثناءات آمنة من حيث النوع ، ونظام أنواع مُستنتج تلقائيًا باستخدام الخوارزمية W. كما طوّر ميلنر إطارين نظريين لتحليل الأنظمة المتزامنة ، وهما حساب الأنظمة المتصلة (CCS)، وخليفته حساب باي (π ).

عند وفاته، كان يعمل على الرسوم البيانية الثنائية ، وهي صيغة للحوسبة المنتشرة تشمل CCS وحساب π . ^{[ 13 ]} كما يُنسب إليه الفضل في إعادة اكتشاف نظام نوع هيندلي-ميلنر .

حصل على زمالة الجمعية الملكية وزمالة متميزة من الجمعية البريطانية للحاسبات عام ١٩٨٨. ونال ميلنر جائزة تورينج من جمعية آلات الحوسبة (ACM) عام ١٩٩١. وفي عام ١٩٩٤، انضم إلى زمالة جمعية آلات الحوسبة . وفي عام ٢٠٠٤، منحته الجمعية الملكية في إدنبرة وسامًا ملكيًا تقديرًا لإسهاماته في تحقيق منافع عامة على مستوى العالم. وفي عام ٢٠٠٨، انتُخب عضوًا أجنبيًا في الأكاديمية الوطنية للهندسة تقديرًا لإسهاماته الجوهرية في علوم الحاسوب، بما في ذلك تطوير خوارزميات LCF وML وCCS وحساب باي .

جائزة الجمعية الملكية ميلنر ^{[ 14 ]} وجائزة ACM SIGPLAN روبن ميلنر للباحثين الشباب ^{[ 15 ]} سميت كلتاهما باسمه.

• حساب التفاضل والتكامل لأنظمة الاتصال ، روبن ميلنر. سبرينغر-فيرلاغ ( سلسلة محاضرات في علوم الحاسوب 92)، 1980. رقم ISBN 3-540-10235-3
• الاتصال والتزامن ، روبن ميلنر. سلسلة برنتيس هول الدولية في علوم الحاسوب ، 1989. ISBN 0-13-115007-3
• تعريف ML القياسي ، روبن ميلنر، مادس توفت ، روبرت هاربر، مطبعة معهد ماساتشوستس للتكنولوجيا 1990
• تعليق على ستاندرد إم إل ، روبن ميلنر، مادس توفت ، مطبعة معهد ماساتشوستس للتكنولوجيا 1991. ISBN 0-262-63137-7
• تعريف لغة ML القياسية (مراجعة)، روبن ميلنر، مادز توفت ، روبرت هاربر، ديفيد ماكوين، مطبعة معهد ماساتشوستس للتكنولوجيا، 1997. ISBN 0-262-63181-4
• أنظمة الاتصالات والأنظمة المتنقلة: حساب باي ، روبن ميلنر. مطبعة جامعة كامبريدج ، 1999. ISBN 0-521-65869-1
• الفضاء والحركة للوكلاء المتواصلين ، روبن ميلنر، مطبعة جامعة كامبريدج ، 2009. ISBN 978-0-521-73833-0

انظر أيضًا: منشورات روبن ميلنر في DBLP

• مقابلة مع روبن ميلنر، يناير 2010 .
• البرهان واللغة والتفاعل: مقالات تكريمًا لروبن ميلنر ، حررها غوردون بلوتكين وكولين ستيرلينغ ومادس توفت . مطبعة معهد ماساتشوستس للتكنولوجيا ، 2000. ISBN 0-262-16188-5.
• الجمعية الملكية في إدنبرة: الميداليات الذهبية الملكية للإنجازات المتميزة (بيان صحفي 2004). http://www.royalsoced.org.uk/rse_press/2004/medals.htm
• نبذة مختصرة عن حياة روبن ميلنر وخطابه
• سيرة علمية موجزة لروبن ميلنر (من كتاب البرهان واللغة والتفاعل: مقالات تكريماً لروبن ميلنر)

• خطاب في بولونيا ، خطاب قصير ألقاه ميلنر بمناسبة حصوله على درجة الدكتوراه الفخرية في علوم الحاسوب من جامعة بولونيا ، يلخص فيه بعض أعماله الرئيسية، 9 يوليو 1997
• هل المعلوماتية علم؟ , مؤتمر في المدرسة العليا للأساتذة (باريس) (ENS)، 10 ديسمبر 2007