रॉबिन मिलनर, पूर्ण आर्थर जॉन रॉबिन गोरेल मिलनर में, (जन्म 13 जनवरी, 1934, येल्मपटन, डेवॉन, इंग्लैंड। 20 मार्च, 2010, कैम्ब्रिज, कैम्ब्रिजशायर), अंग्रेजी कंप्यूटर वैज्ञानिक और 1991 AM ट्यूरिंग अवार्ड के विजेता का निधन। कंप्यूटर विज्ञान में सर्वोच्च सम्मान, स्वत: प्रमेय सिद्ध करने वालों के साथ अपने काम के लिए, एमएल कंप्यूटर प्रोग्रामिंग भाषा, और संगामिति का एक सामान्य सिद्धांत।
मिलनर ने एटन कॉलेज में दाखिला लिया और 1952 में कैम्ब्रिज विश्वविद्यालय में भाग लेने के लिए छात्रवृत्ति प्राप्त की, लेकिन उन्हें अपने पाठ्यक्रम के काम को स्थगित करना पड़ा, जबकि उन्होंने अगले दो वर्षों तक ब्रिटिश सेना के रॉयल इंजीनियर्स के साथ स्वेज नहर में सेवा की। मिलनर ने 1954 में कैम्ब्रिज में प्रवेश किया और 1957 में गणित में स्नातक की डिग्री प्राप्त की। उन्होंने पहली बार 1956 की गर्मियों में कंप्यूटिंग में एक छोटे पाठ्यक्रम के साथ कंप्यूटिंग में अवगत कराया, जिसमें उन्होंने स्कूल के ईडीएसएसी कंप्यूटर का उपयोग किया। उसके बाद, मिलनर लंदन चले गए, जहाँ उन्होंने मेरिलबोन ग्रामर स्कूल (1959–60) में एक पोस्ट पढ़ाने के गणित सहित विभिन्न नौकरियों का आयोजन किया, इससे पहले कि वह एक कंप्यूटर प्रोग्रामर बन गए और फेरेंटी लिमिटेड (फेरेंटी) ने पहला व्यावसायिक कंप्यूटर तैयार किया, 1951 में फेरेंटी मार्क I,)
1963 में मिलनर ने फेरेंटी को सिटी यूनिवर्सिटी लंदन में एक अकादमिक पद के लिए छोड़ दिया, जहाँ उन्होंने इंजीनियरिंग के छात्रों को गणित पढ़ाया और कृत्रिम बुद्धिमत्ता (एआई) और इसके डेटाबेस के लिए आवेदन शुरू किया। 1968 में मिलनर ने वेल्स विश्वविद्यालय, स्वानसी में एक शोध पद स्वीकार किया, जहाँ उन्होंने कार्यक्रम सत्यापन, स्वत: प्रमेय साबित करने और शब्दार्थ पर काम किया। 1971 में मिलनर स्टैनफोर्ड यूनिवर्सिटी में एआई प्रयोगशाला में जॉन मैकार्थी के साथ काम करने के लिए संयुक्त राज्य अमेरिका गए। मिलनर 1973 में ब्रिटेन में एडिनबर्ग विश्वविद्यालय में एक पद स्वीकार करने के लिए लौटे, जहाँ उन्होंने एक स्वचालित प्रमेय सॉल्वर को लागू करने के लिए विकसित की गई कंप्यूटर प्रोग्रामिंग भाषा (एमएल मेटलगुएज) को डिजाइन करने में मदद की। 1995 में मिलनर स्कूल की कंप्यूटर प्रयोगशाला के प्रमुख के रूप में कैम्ब्रिज लौट आए। वह 2001 में सेवानिवृत्त हुए।
अन्य कामों में, मिलनर ए कैलकुलस फॉर कम्यूनिकेटिंग सिस्टम्स (1980), कम्युनिकेशन एंड कॉन्सिरेन्सी (1989), कम्युनिकेटिंग एंड मोबाइल सिस्टम्स: द पी-कैलकुलस (1999) और द स्पेस एंड मोशन ऑफ कम्यूनिकेटिंग एजेंट्स (2009) के लेखक थे। उन्होंने सैद्धांतिक कंप्यूटर विज्ञान के लिए संपादक, सैद्धांतिक कंप्यूटर विज्ञान में अनुसंधान नोट्स, कम्प्यूटिंग के औपचारिक पहलू और कंप्यूटर विज्ञान में गणितीय संरचनाएं पर काम किया, और वे एडिनबर्ग के रॉयल सोसाइटी ऑफ़ द प्रोसीडिंग्स ऑफ़ द एडिनबर्ग: सेक्शन ए, गणित के संपादकीय बोर्ड में थे।
मिलनर को रॉयल सोसाइटी (1988), ब्रिटिश कंप्यूटर सोसाइटी (1988), रॉयल सोसाइटी ऑफ एडिनबर्ग (1993), एसोसिएशन ऑफ कम्प्यूटिंग मशीनरी (1994), फ्रेंच एकेडमी ऑफ साइंसेज (2005) और यूएस नेशनल के लिए चुना गया था। एकेडमी ऑफ इंजीनियरिंग (2008)। ट्यूरिंग अवार्ड के अलावा, मिलनर को एक ब्रिटिश कंप्यूटर सोसाइटी टेक्निकल अवार्ड (1987), एक रॉयल सोसाइटी ऑफ़ एडिनबर्ग रॉयल गोल्ड मेडल (2004), और एक यूरोपीय एसोसिएशन फॉर थियोरेटिकल कंप्यूटर साइंस डिस्टि्रक्ट अचीवमेंट्स अवार्ड (2005) प्राप्त हुआ।
