Robin Milner, en intégralité Arthur John Robin Gorell Milner, (né le 13 janvier 1934, Yealmpton, Devon, Eng. - décédé le 20 mars 2010, Cambridge, Cambridgeshire), informaticien anglais et lauréat du prix AM Turing 1991, le la plus haute distinction en informatique, pour son travail avec les prouveurs de théorèmes automatiques, le langage de programmation informatique ML et une théorie générale de la concurrence.
Milner a fréquenté l'Eton College et a remporté une bourse pour fréquenter l'Université de Cambridge en 1952, mais il a dû reporter ses cours pendant qu'il servait au canal de Suez avec les Royal Engineers de l'armée britannique pour les deux prochaines années. Milner est entré à Cambridge en 1954 et a obtenu un baccalauréat en mathématiques en 1957. Il a été initié à l'informatique à l'été 1956 avec un court cours de programmation dans lequel il a utilisé l'ordinateur EDSAC de l'école. Après cela, Milner a déménagé à Londres, où il a occupé divers emplois, y compris un poste d'enseignement des mathématiques à la Marylebone Grammar School (1959-1960), avant de devenir programmeur informatique et de développer des compilateurs chez Ferranti Ltd. (Ferranti a produit le premier ordinateur commercial, le Ferranti Mark I, en 1951.)
En 1963, Milner a quitté Ferranti pour un poste universitaire à la City University London, où il a enseigné les mathématiques à des étudiants en ingénierie et a commencé la recherche en intelligence artificielle (IA) et son application aux bases de données. En 1968, Milner a accepté un poste de recherche à l'Université du Pays de Galles, Swansea, où il a travaillé sur la vérification de programme, la démonstration automatique de théorèmes et la sémantique. En 1971, Milner s'est rendu aux États-Unis pour travailler avec John McCarthy au laboratoire d'IA de l'Université de Stanford. Milner est retourné en Grande-Bretagne en 1973 pour accepter un poste à l'Université d'Édimbourg, où il a aidé à concevoir ML («métalangage»), un langage de programmation informatique développé pour mettre en œuvre un solveur de théorème automatique. En 1995, Milner est retourné à Cambridge à la tête du laboratoire informatique de l'école. Il a pris sa retraite en 2001.
Entre autres travaux, Milner est l'auteur de A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) et The Space and Motion of Communicating Agents (2009). Il a été rédacteur en chef de Theoretical Computer Science, Research Notes in Theoretical Computer Science, Formal Aspects of Computing, and Mathematical Structures in Computer Science, et il a été membre du comité de rédaction des Actes de la Royal Society of Edinburgh: Section A, Mathematics.
Milner a été élu à la Royal Society (1988), à la British Computer Society (1988), à la Royal Society of Edinburgh (1993), à l'Association of Computing Machinery (1994), à l'Académie française des sciences (2005) et au US National Académie d'ingénierie (2008). En plus du prix Turing, Milner a reçu un prix technique de la British Computer Society (1987), une médaille d'or royale de la Royal Society of Edinburgh (2004) et un prix de l'Association européenne pour l'informatique théorique Distinguished Achievements Award (2005).
