आर्थर जॉन रॉबिन गोरेल मिल्नर (13 जनवरी 1934 – 20 मार्च 2010) एक ब्रिटिश कंप्यूटर वैज्ञानिक और 1991 के ACM ट्यूरिंग पुरस्कार के विजेता थे। उन्हें व्यापक रूप से तीन प्रमुख योगदानों के लिए पहचाना जाता है: कम्प्यूटेबल फ़ंक्शन्स के लिए तर्क (LCF) और ML प्रोग्रामिंग भाषा का विकास, संचार प्रणालियों का कैलकुलस (CCS), और π-कैलकुलस। उनके कार्य ने स्वचालित प्रमेय सिद्ध करने, प्रकार प्रणालियों, और समवर्ती तथा मोबाइल प्रणालियों के सैद्धांतिक विश्लेषण में आधारभूत नींव रखी।
मिल्नर का शोध सैद्धांतिक कंप्यूटर विज्ञान और व्यावहारिक भाषा डिज़ाइन के बीच सेतु का काम करता था, जिसने कार्यात्मक प्रोग्रामिंग से लेकर वितरित कंप्यूटिंग तक के क्षेत्रों को प्रभावित किया। बिग्राफ़्स पर उनका बाद का कार्य समवर्ती और सर्वव्यापी कंप्यूटिंग के मॉडलों को एकीकृत करने के उद्देश्य से था, हालाँकि यह उनकी मृत्यु के समय अधूरा रह गया।
जीवन, शिक्षा और करियर
मिल्नर का जन्म इंग्लैंड के प्लायमाउथ के पास येलम्पटन में एक सैन्य परिवार में हुआ था। उन्होंने 1947 में ईटन कॉलेज के लिए किंग्स छात्रवृत्ति अर्जित की और 1952 में ईटन का सर्वोच्च गणित पुरस्कार टॉमलाइन पुरस्कार प्राप्त किया। रॉयल इंजीनियर्स में सेकंड लेफ्टिनेंट के रूप में सेवा देने के बाद, उन्होंने किंग्स कॉलेज, कैम्ब्रिज में दाखिला लिया और 1957 में स्नातक किया।
उनके प्रारंभिक करियर में स्कूल शिक्षक के रूप में कार्य और फिर फेरांती में प्रोग्रामर के रूप में कार्य शामिल था। उन्होंने लंदन के सिटी यूनिवर्सिटी में शैक्षणिक जीवन शुरू किया, इसके बाद स्वानसी विश्वविद्यालय और स्टैनफोर्ड विश्वविद्यालय में पदों पर रहे। 1973 में, वे एडिनबर्ग विश्वविद्यालय में शामिल हुए, जहाँ उन्होंने कंप्यूटर विज्ञान की नींव की प्रयोगशाला (LFCS) की सह-स्थापना की। 1995 में, वे कंप्यूटर प्रयोगशाला के प्रमुख के रूप में कैम्ब्रिज लौट आए, एक भूमिका जिससे उन्होंने अंततः इस्तीफा दे दिया, हालाँकि वे वहाँ सक्रिय रहे। 2009 से, वे स्कॉटिश इंफॉर्मेटिक्स एंड कंप्यूटर साइंस एलायंस एडवांस्ड रिसर्च फेलो थे और एडिनबर्ग विश्वविद्यालय में कंप्यूटर विज्ञान में अंशकालिक कुर्सी पर थे।
मिल्नर का 20 मार्च 2010 को कैम्ब्रिज में दिल का दौरा पड़ने से निधन हो गया। उनकी पत्नी, लुसी, का निधन उनसे कुछ समय पहले हुआ था।
प्रोग्रामिंग भाषाओं में योगदान
एलसीएफ पर मिल्नर का कार्य, जो पहले स्वचालित प्रमेय-सिद्ध करने वाले उपकरणों में से एक था, ने ML के निर्माण की ओर अग्रसर किया। इस भाषा ने बहुरूपी प्रकार अनुमान, एल्गोरिथम W का उपयोग करते हुए, और प्रकार-सुरक्षित अपवाद हैंडलिंग की शुरुआत की। ML पहली भाषा थी जिसमें स्वचालित रूप से अनुमानित प्रकार प्रणाली थी, एक विशेषता जो Haskell और OCaml जैसी भाषाओं में प्रभावशाली बन गई। मिल्नर को हिंडले-मिल्नर प्रकार प्रणाली की पुनः खोज का भी श्रेय दिया जाता है, जो बहुरूपी टाइपिंग को रेखांकित करती है।
समवर्तीता के लिए उनके सैद्धांतिक ढाँचों में 1970 के दशक के अंत में विकसित संचार प्रणालियों का कैलकुलस (CCS) और इसका उत्तराधिकारी π-कैलकुलस शामिल है, जिसे 1990 के दशक की शुरुआत में पेश किया गया था। CCS प्रक्रियाओं को परस्पर क्रिया करने वाले एजेंटों के रूप में मॉडल करता है, जबकि π-कैलकुलस इसे मोबाइल संचार चैनलों की अनुमति देने के लिए विस्तारित करता है। ये औपचारिकताएँ समवर्ती और वितरित प्रणालियों के अध्ययन में आधारशिला बन गईं।
अपनी मृत्यु के समय, मिल्नर बिग्राफ़्स पर काम कर रहे थे, एक औपचारिकता जिसका उद्देश्य सर्वव्यापी कंप्यूटिंग के लिए CCS और π-कैलकुलस को समाहित करना था। इस कार्य का उद्देश्य परस्पर क्रिया करने वाले एजेंटों के स्थानिक और लौकिक दोनों पहलुओं को मॉडल करना था।
सम्मान और पुरस्कार
मिल्नर को कई प्रशंसाएँ मिलीं। उन्हें 1988 में रॉयल सोसाइटी का फेलो और ब्रिटिश कंप्यूटर सोसाइटी का विशिष्ट फेलो बनाया गया। 1991 में, उन्होंने ACM ट्यूरिंग पुरस्कार प्राप्त किया। 1994 में, उन्हें ACM का फेलो चुना गया। 2004 में, रॉयल सोसाइटी ऑफ एडिनबर्ग ने उन्हें वैश्विक स्तर पर सार्वजनिक लाभ लाने के लिए रॉयल मेडल प्रदान किया। 2008 में, उन्हें LCF, ML, CCS, और π-कैलकुलस सहित मौलिक योगदानों के लिए नेशनल एकेडमी ऑफ इंजीनियरिंग का विदेशी सहयोगी चुना गया।
उनके सम्मान में दो पुरस्कार नामित हैं: रॉयल सोसाइटी मिल्नर पुरस्कार और ACM SIGPLAN रॉबिन मिल्नर यंग रिसर्चर पुरस्कार।
चयनित प्रकाशन
मिल्नर ने कई प्रभावशाली पुस्तकें लिखीं। उनकी 1980 की मोनोग्राफ "ए कैलकुलस ऑफ कम्युनिकेटिंग सिस्टम्स" ने CCS की शुरुआत की। "कम्युनिकेशन एंड कन्करेंसी" (1989) ने इस कार्य का विस्तार किया। उन्होंने मैड्स टोफ्टे और रॉबर्ट हार्पर के साथ "द डेफिनिशन ऑफ स्टैंडर्ड ML" (1990) की सह-लेखन की, और 1997 में डेविड मैक्वीन के साथ एक संशोधित संस्करण। "कम्युनिकेटिंग एंड मोबाइल सिस्टम्स: द π-कैलकुलस" (1999) ने π-कैलकुलस का विवरण दिया। उनकी अंतिम पुस्तक, "द स्पेस एंड मोशन ऑफ कम्युनिकेटिंग एजेंट्स" (2009), ने बिग्राफ़्स पर उनका कार्य प्रस्तुत किया।
विरासत
मिल्नर का प्रभाव कंप्यूटर विज्ञान में प्रकार सिद्धांत से लेकर समवर्तीता तक फैला हुआ है। उनके विचारों ने आधुनिक कार्यात्मक प्रोग्रामिंग और प्रणालियों के औपचारिक सत्यापन को आकार दिया। एआई समुदाय, विशेष रूप से मशीन लर्निंग और तंत्रिका नेटवर्क जैसे क्षेत्रों में, प्रोग्रामिंग भाषाओं और उपकरणों पर निर्भर करता है जो ML से अपनी वंशावली पाते हैं। समवर्तीता पर उनका कार्य वितरित प्रणालियों और क्लाउड कंप्यूटिंग के लिए प्रासंगिक बना हुआ है, जैसा कि अमेज़न वेब सर्विसेज और गूगल क्लाउड जैसे प्लेटफार्मों में देखा जा सकता है।
उनकी विरासत MIT CSAIL और स्टैनफोर्ड एआई लैब जैसी संस्थाओं के माध्यम से संरक्षित है, जो उन क्षेत्रों को आगे बढ़ाना जारी रखती हैं जिन्हें उन्होंने स्थापित करने में मदद की। रॉयल सोसाइटी और ACM प्रोग्रामिंग भाषाओं और समवर्तीता में युवा शोधकर्ताओं को मान्यता देने वाले पुरस्कारों के माध्यम से उनकी स्मृति का सम्मान करते हैं।