توفي روبن ميلنر ، بالكامل آرثر جون روبن جوريل ميلنر (ولد في 13 يناير 1934 ، ييلمبتون ، ديفون ، م. أعلى درجات الشرف في علوم الكمبيوتر ، لعمله مع مبرهنة النظرية التلقائية ، لغة برمجة الكمبيوتر ML ، ونظرية عامة للتوافق.
حضر ميلنر كلية إيتون وفاز بمنحة دراسية لحضور جامعة كامبريدج في عام 1952 ، لكنه اضطر إلى تأجيل دراسته أثناء خدمته في قناة السويس مع المهندسين الملكيين للجيش البريطاني للسنتين القادمتين. دخل ميلنر كامبريدج عام 1954 وتخرج بدرجة البكالوريوس في الرياضيات عام 1957. وقد تعرض لأول مرة للحوسبة في صيف عام 1956 بدورة قصيرة في البرمجة حيث استخدم كمبيوتر EDSAC بالمدرسة. بعد ذلك ، انتقل ميلنر إلى لندن ، حيث شغل العديد من الوظائف ، بما في ذلك ما بعد تدريس الرياضيات في مدرسة مارليبون القواعد (1959-1960) ، قبل أن يصبح مبرمج كمبيوتر وطور مترجمين في Ferranti Ltd. (أنتج Ferranti أول كمبيوتر تجاري ، Ferranti Mark I ، في 1951.)
في عام 1963 ، غادر ميلنر Ferranti إلى منصب أكاديمي في City City London ، حيث قام بتدريس الرياضيات لطلاب الهندسة وبدأ البحث في الذكاء الاصطناعي (AI) وتطبيقه على قواعد البيانات. في عام 1968 ، قبل ميلنر منصبًا بحثيًا في جامعة ويلز ، سوانسي ، حيث عمل على التحقق من البرنامج ، وإثبات النظرية التلقائية ، وعلم الدلالة. في عام 1971 ذهب ميلنر إلى الولايات المتحدة للعمل مع جون مكارثي في مختبر الذكاء الاصطناعي بجامعة ستانفورد. عاد ميلنر إلى بريطانيا في عام 1973 لقبول منصب في جامعة إدنبره ، حيث ساعد في تصميم ML ("metalanguage") ، وهي لغة برمجة حاسوبية تم تطويرها لتطبيق حل نظري تلقائي. في عام 1995 عاد ميلنر إلى كامبريدج كرئيس مختبر الكمبيوتر بالمدرسة. تقاعد في عام 2001.
من بين الأعمال الأخرى ، كان ميلنر مؤلف كتاب "حساب التفاضل والتكامل للأنظمة التواصلية" (1980) ، والتواصل والتوافق (1989) ، والتواصل والأنظمة المتنقلة: "بي-كالسولوس" (1999) ، و "الفضاء وحركة العوامل المترابطة" (2009). عمل كمحرر لعلوم الكمبيوتر النظرية ، وملاحظات البحث في علوم الكمبيوتر النظرية ، والجوانب الرسمية للحوسبة ، والبنى الرياضية في علوم الكمبيوتر ، وكان في هيئة تحرير وقائع الجمعية الملكية في إدنبرة: القسم أ ، الرياضيات.
تم انتخاب ميلنر في الجمعية الملكية (1988) ، وجمعية الحاسبات البريطانية (1988) ، والجمعية الملكية لإدنبره (1993) ، ورابطة آلات الحوسبة (1994) ، والأكاديمية الفرنسية للعلوم (2005) ، والوطنية الأمريكية. أكاديمية الهندسة (2008). بالإضافة إلى جائزة تورينج ، حصل ميلنر على الجائزة التقنية البريطانية لجمعية الكمبيوتر (1987) ، والجمعية الملكية لميدالية أدنبره الملكية الذهبية (2004) ، والجمعية الأوروبية للإنجازات المتميزة لعلوم الكمبيوتر النظرية (2005).
