Ο Robin Milner, ο Arthur John Robin Gorell Milner, (γεννήθηκε στις 13 Ιανουαρίου 1934, Yealmpton, Devon, Eng. - πέθανε στις 20 Μαρτίου 2010, Cambridge, Cambridgeshire), Άγγλος επιστήμονας υπολογιστών και νικητής του Βραβείου Turing 1991 AM, υψηλότερη τιμή στην επιστήμη των υπολογιστών, για το έργο του με αυτόματο θεώρημα provers, τη γλώσσα προγραμματισμού υπολογιστών ML και μια γενική θεωρία ταυτόχρονης.
Ο Μίλνερ φοίτησε στο Eton College και κέρδισε υποτροφία για να παρακολουθήσει το Πανεπιστήμιο του Cambridge το 1952, αλλά έπρεπε να αναβάλει την εργασία του ενώ υπηρετούσε στο κανάλι Σουέζ με τους Βασιλείους Μηχανικούς του βρετανικού στρατού για τα επόμενα δύο χρόνια. Ο Μίλνερ εισήλθε στο Κέιμπριτζ το 1954 και αποφοίτησε με πτυχίο στα μαθηματικά το 1957. Πρώτα εκτέθηκε στον υπολογιστή το καλοκαίρι του 1956 με ένα σύντομο μάθημα προγραμματισμού στον οποίο χρησιμοποίησε τον υπολογιστή EDSAC του σχολείου. Μετά από αυτό, ο Μίλνερ μετακόμισε στο Λονδίνο, όπου κατείχε διάφορες δουλειές, συμπεριλαμβανομένης της μετα-διδασκαλίας μαθηματικών στο Marylebone Grammar School (1959–60), πριν γίνει προγραμματιστής υπολογιστών και ανέπτυξε μεταγλωττιστές στη Ferranti Ltd. (Η Ferranti παρήγαγε τον πρώτο εμπορικό υπολογιστή, το Ferranti Mark I, το 1951.)
Το 1963 ο Μίλνερ εγκατέλειψε τη Ferranti για ακαδημαϊκή θέση στο City University London, όπου δίδαξε μαθηματικά σε φοιτητές μηχανικής και ξεκίνησε έρευνα στην τεχνητή νοημοσύνη (AI) και την εφαρμογή της σε βάσεις δεδομένων. Το 1968 ο Μίλνερ αποδέχθηκε μια ερευνητική θέση στο Πανεπιστήμιο της Ουαλίας, στο Swansea, όπου εργάστηκε για την επαλήθευση προγράμματος, την αυτόματη απόδειξη θεώρημα και τη σημασιολογία. Το 1971 ο Μίλνερ πήγε στις Ηνωμένες Πολιτείες για να συνεργαστεί με τον John McCarthy στο εργαστήριο τεχνητής νοημοσύνης στο Πανεπιστήμιο του Στάνφορντ. Ο Μίλνερ επέστρεψε στη Βρετανία το 1973 για να αποδεχτεί μια θέση στο Πανεπιστήμιο του Εδιμβούργου, όπου βοήθησε στο σχεδιασμό του ML ("metalanguage"), μιας γλώσσας προγραμματισμού υπολογιστών που αναπτύχθηκε για την εφαρμογή ενός αυτόματου επιλυτή θεωρήματος. Το 1995 ο Milner επέστρεψε στο Cambridge ως επικεφαλής του εργαστηρίου υπολογιστών του σχολείου. Αποσύρθηκε το 2001.
Μεταξύ άλλων έργων, ο Μίλνερ ήταν ο συγγραφέας του A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999), και The Space and Motion of Communicating Agents (2009). Υπηρέτησε ως συντάκτης για τη Θεωρητική Επιστήμη των Υπολογιστών, τις Ερευνητικές Σημειώσεις στη Θεωρητική Επιστήμη των Υπολογιστών, τις Επίσημες Πτυχές της Πληροφορικής και τις Μαθηματικές Δομές στην Επιστήμη των Υπολογιστών και ήταν στο διοικητικό συμβούλιο των Πρακτικών της Βασιλικής Εταιρείας του Εδιμβούργου: Ενότητα Α, Μαθηματικά.
Ο Μίλνερ εξελέγη στη Βασιλική Εταιρεία (1988), στη Βρετανική Εταιρεία Υπολογιστών (1988), στη Βασιλική Εταιρεία του Εδιμβούργου (1993), στην Ένωση Μηχανημάτων Υπολογιστών (1994), στη Γαλλική Ακαδημία Επιστημών (2005) και στην Εθνική των ΗΠΑ Ακαδημία Μηχανικών (2008). Εκτός από το βραβείο Turing, ο Μίλνερ έλαβε ένα Βρετανικό Τεχνικό Βραβείο Κοινωνίας Υπολογιστών (1987), ένα Βασιλικό Χρυσό Μετάλλιο της Βασιλικής Εταιρείας του Εδιμβούργου (2004) και ένα Βραβείο Ευρωπαϊκής Ένωσης Θεωρητικών Επιστημών Διακεκριμένων Επιτευγμάτων (2005).
