Robin John Milner (13 janvier 1934 – 20 mars 2010) était un informaticien britannique et lauréat du prix Turing 1991 de l'ACM. Il est largement reconnu pour trois contributions majeures : le développement de la logique pour les fonctions calculables (LCF) et du langage de programmation ML, le calcul des systèmes communicants (CCS), et le calcul de pi (π-calculus). Ses travaux ont posé des fondations essentielles dans le raisonnement automatisé, la théorie des types et l'analyse théorique des systèmes concurrents et mobiles.
Les recherches de Milner ont fait le pont entre l'informatique théorique et la conception pratique des langages, influençant des domaines allant de la programmation fonctionnelle aux systèmes distribués. Ses travaux ultérieurs sur les bigraphes visaient à unifier les modèles de calcul pour l'informatique ubiquitaire, mais sont restés inachevés à sa mort.
Vie, éducation et carrière
Milner est né à Yealmpton, près de Plymouth, en Angleterre, dans une famille militaire. Il obtient une bourse royale pour le collège d'Eton en 1947 et y reçoit le prix Tomline, la plus haute distinction en mathématiques, en 1952. Après avoir servi comme sous-lieutenant dans le génie royal, il s'inscrit au King's College de Cambridge, où il obtient son diplôme en 1957.
Sa carrière débute comme enseignant, puis comme programmeur chez Ferranti. Il entre dans le monde académique à la City University de Londres, puis occupe des postes à l'université de Swansea et à l'université Stanford. En 1973, il rejoint l'université d'Édimbourg, où il cofonde le Laboratoire de fondements de l'informatique (LFCS). En 1995, il retourne à Cambridge comme directeur du laboratoire d'informatique, poste qu'il finit par quitter tout en y restant actif. À partir de 2009, il est chercheur principal à l'Alliance écossaise pour l'informatique et la science des données et occupe une chaire à temps partiel en informatique à l'université d'Édimbourg.
Milner meurt d'une crise cardiaque le 20 mars 2010 à Cambridge. Sa femme, Lucy, décède peu après lui.
Contributions aux langages de programmation
Les travaux de Milner sur LCF, l'un des premiers outils de preuve automatisée, ont conduit à la création du langage ML. Ce langage a introduit l'inférence de types polymorphes, via l'algorithme W, et la gestion sûre des exceptions. ML fut le premier langage doté d'un système de types inférés automatiquement, une caractéristique qui a influencé des langages comme Haskell et OCaml. Milner est également crédité de la redécouverte du système de types Hindley-Milner, qui sous-tend le typage polymorphe.
Ses cadres théoriques pour la concurrence incluent le calcul des systèmes communicants (CCS), développé à la fin des années 1970, et son successeur, le π-calculus, introduit au début des années 1990. CCS modélise les processus comme des agents en interaction, tandis que le π-calculus étend ce modèle pour permettre des canaux de communication mobiles. Ces formalismes sont devenus des piliers de l'étude des systèmes concurrents et distribués.
Au moment de sa mort, Milner travaillait sur les bigraphes, un formalisme destiné à subsumer CCS et le π-calculus pour l'informatique ubiquitaire. Ce travail visait à modéliser à la fois les aspects spatiaux et temporels des agents en interaction.
Honneurs et récompenses
Milner a reçu de nombreuses distinctions. Il a été élu membre de la Royal Society et membre distingué de la British Computer Society en 1988. En 1991, il reçoit le prix Turing de l'ACM. En 1994, il est intronisé comme membre de l'ACM. En 2004, la Royal Society of Edinburgh lui décerne une médaille royale pour ses contributions ayant apporté des bénéfices publics à l'échelle mondiale. En 2008, il est élu associé étranger de l'Académie nationale d'ingénierie des États-Unis pour ses contributions fondamentales, notamment LCF, ML, CCS et le π-calculus.
Deux prix portent son nom : le prix Milner de la Royal Society et le prix Robin Milner pour jeunes chercheurs de l'ACM SIGPLAN.
Publications choisies
Milner a écrit plusieurs ouvrages influents. Sa monographie de 1980, A Calculus of Communicating Systems, a introduit CCS. Communication and Concurrency (1989) a approfondi ces travaux. Il a coécrit The Definition of Standard ML (1990) avec Mads Tofte et Robert Harper, puis une édition révisée en 1997 avec David MacQueen. Communicating and Mobile Systems: the π-Calculus (1999) a détaillé le π-calculus. Son dernier livre, The Space and Motion of Communicating Agents (2009), a présenté ses travaux sur les bigraphes.
Héritage
L'influence de Milner s'étend à travers l'informatique, de la théorie des types à la concurrence. Ses idées ont façonné la programmation fonctionnelle moderne et la vérification formelle. La communauté de l'intelligence artificielle, en particulier dans des domaines comme l'apprentissage automatique et les réseaux de neurones, s'appuie sur des langages et des outils issus de ses travaux. Ses recherches sur la concurrence restent pertinentes pour les systèmes distribués et le cloud computing, comme en témoignent des plateformes telles que Amazon Web Services et Google Cloud.
Son héritage est préservé par des institutions comme le CSAIL du MIT et le Laboratoire d'intelligence artificielle de Stanford, qui poursuivent les domaines qu'il a contribué à établir. La Royal Society et l'ACM honorent sa mémoire à travers des prix destinés aux jeunes chercheurs en programmation et en concurrence.