Robin Milner
Pour les articles homonymes, voir Milner.
| Naissance |
Yealmpton |
|---|---|
| Décès |
(à 76 ans) Cambridge |
| Nationalité | britannique |
| Domaines | mathématiques, informatique |
|---|---|
| Institutions |
City University de Londres université de Swansea université Stanford université d’Édimbourg université de Cambridge |
| Diplôme | B. A. Cambridge |
| Formation | King’s College de l'université de Cambridge |
| Directeur de thèse | pas de directeur : il n'a pas soutenu de thèse |
| Étudiants en thèse | 19[1] |
| Influencé par | Christopher Strachey, Dana S. Scott, John McCarthy |
| Renommé pour | Logic for Computable Functions (LCF), langage de programmation ML, Calculus of Communicating Systems (CCS). |
| Distinctions |
Membre élu de Royal Society, Academia Europaea, British Computer Society, Royal Society of Edinburgh, ACM, Académie des sciences (France), National Academy of Engineering
|
Arthur John Robin Gorell Milner, né le à Yealmpton, près de Plymouth et mort le à Cambridge[2],[3], est un informaticien britannique.
Biographie
[modifier | modifier le code]Fils d'un officier de l’infanterie, Milner obtient en 1947 une bourse pour le Collège d'Eton. De 1952 à 1954, il effectue son service militaire au canal de Suez, dans le corps des Royal Engineers, où il obtient le grade de sous-lieutenant, il étudie ensuite, grâce à une autre bourse, les mathématiques puis la philosophie au King’s College de l'université de Cambridge[4].
En 1957, il obtient son B. A. à l'université de Cambridge, et travaille ensuite à Londres, dans des emplois à temps partiel, puis un an comme enseignant en mathématiques à la St Marylebone Grammar School (en) et enfin, à partir de 1960 comme programmeur dans l'entreprise Ferranti, où il s'occupe de la bibliothèque de programmes de leur ordinateur Sirius (en).
En 1963, il est nommé chargé d'enseignement de mathématiques et informatique à la City University de Londres, où il s'intéresse à l'intelligence artificielle, notamment grâce aux travaux de Christopher Strachey. Il poursuit des activités de recherche à l'université de Swansea (1968-1971), à l'université Stanford (1971-1973) et, à partir de 1973, à l'université d'Édimbourg. Après un séjour comme professeur invité à l'université d'Aarhus de 1979 à 1980, il est nommé professeur titulaire à Édimbourg en 1984, et directeur, de 1986 à 1989 du Laboratory for Foundations of Computer Science (en) dont il est fondateur. Il y développe notamment l'enseignement de l'informatique théorique. En 1995, Milner retourne à l'université de Cambridge où il dirige de 1996 à 1999 le Cambridge University Computer Laboratory (en), et dont il se retire progressivement. Il devient professeur émérite en 2001, et continue ses recherches tant à Cambridge qu'à Édimbourg. En 2006-2007, il occupe la Chaire internationale de recherche Blaise-Pascal de l'École normale supérieure de Paris.
Travaux
[modifier | modifier le code]Milner s'est toujours intéressé aux bases théoriques de problèmes pratiques, notamment dans les langages, la programmation, des preuves formelles et des modèles abstraits de calcul.
Il développe, à la suite de travaux de Dana S. Scott dans le groupe de recherche de John McCarthy à Stanford, le démonstrateur de théorèmes Logic for Computable Functions (en) ou LCF l'un des premiers outils de démonstration automatique de théorèmes.
Le langage de programmation ML (pour Meta-Language) que Milner développe pour la réalisation du démonstrateur LCF, est le premier langage de programmation avec inférence de types polymorphe et un système de gestion d'exceptions typé. Le langage a évolué en un langage de programmation pour le développement et l'enseignement, et Milner a dirigé, de 1983 à 1990, son développement vers Standard ML.
Dans un tout autre domaine, Milner développe une théorie pour l'analyse de systèmes concurrents, qui devient le Calculus of Communicating Systems (en), CCS. Il est la base de la norme ISO Language Of Temporal Ordering Specification ou LOTOS. Avec Joachim Parrow et David Walker il développe son successeur, le pi-calcul, et pour cela également le concept de bisimulation.
Finalement, il a conçu un modèle mathématique basé sur la notion de bigraphe (en) pouvant être utilisé dans l'informatique ubiquitaire, modèle sur lequel il a collaboré aussi avec Tony Hoare.
Honneurs et distinctions
[modifier | modifier le code]- Prix et nomination
- 1988 Fellow de la Royal Society
- 1988 Membre fondateur de l'Academia Europaea
- 1988 Distinguished Fellow de la British Computer Society
- 1991 Prix Turing de l'ACM[5].
- 1993 Fellow de la Royal Society of Edinburgh.
- 1994 Lauréat du prix Friedrich L. Bauer.
- 1994 Fellow de l'ACM.
- 2004 Médaille royale de la Royal Society of Edinburgh pour avoir contribué « à grande échelle à des œuvres utiles au public ».
- 2005 Membre étranger de l'Académie des sciences (France)
- 2005 Prix EATCS
- 2008 Membre associé étranger de la National Academy of Engineering pour ses « contributions fondamentales à la science informatique, et notamment le développement de LCF, ML, CCS, et du pi-calcul »[6].
Même s'il n'a jamais soutenu de thèse, il est docteur honoris causa de diverses universités : École polytechnique Chalmers (1988), université de Stirling (1996), université de Bologne (1997), City University (1998), université d'Aarhus (1999), université de l'Essex (2000), université d'Édimbourg (2003), université de Glasgow (2005) et université Paris-Sud (2007) ; il est fellow d'honneur de l'université de Swansea (2004).
- Prix Milner
La Royal Society attribue un prix pour des contributions exceptionnelles en informatique appelé Prix Milner. Récipiendaires sont Xavier Leroy (2016), Thomas Henzinger (2015), Bernhard Schölkopf (2014), Serge Abiteboul (2013) et Gordon Plotkin (2012)[7].
Milner lui-même a fait un legs à l'université d'Édimbourg pour organiser une conférence, la Milner Lecture qui depuis 1966 honore chaque année un chercheur qui a contribué des avancées significatives en informatique théorique et pratique.
Livres
[modifier | modifier le code]- [1980] A Calculus of Communicating Systems, Springer, , 171 p. (ISBN 3-540-10235-3)
- [1989] Communication and Concurrency, Prentice Hall, , 260 p. (ISBN 0-13-115007-3)
- [1990] avec Mads Tofte et Robert Harper, The Definition of Standard ML, MIT Press,
- [1997] (en) avec Mads Tofte, Robert Harper et David MacQueen, The Definition of Standard ML, Revised Edition, Cambridge, MIT Press, , 114 p. (ISBN 0-262-63181-4)
- [1997] avec Mads Tofte, Commentary on Standard ML, MIT Press, (ISBN 0-262-63137-7)
- [1999] Communicating and Mobile Systems : the Pi-Calculus, Cambridge University Press, , 161 p. (ISBN 0-521-65869-1, lire en ligne)
- [2009] The Space and Motion of Communicating Agents, Cambridge University Press, , 214 p. (ISBN 978-0-521-73833-0)
Conférences
[modifier | modifier le code]Robin Milner a prononcé des conférences à l'occasion de remises de prix ou de doctorats honoris causa, dont certaines sont accessibles :
- Conférence à Bologne, lors de la remise du Laurea Honoris Causa en informatique ;
- « Is informatics a science? », conférence à l'École normale supérieure,
- (en) Robin Milner, « Elements of interaction: Turing award lecture », Communications of the ACM, vol. 36, no 1, , p. 78–89 (DOI 10.1145/151233.151240, lire en ligne) - Conférence prononcée à l'occasion de la remise du prix Turing
Notes et références
[modifier | modifier le code]- (en) « Robin Milner », sur le site du Mathematics Genealogy Project
- « [TYPES] Very sad news »
- « Late Robin Milner - Lambda the Ultimate »
- (en) Robin Milner: The Elegant Pragmatist, Leah Hoffmann, Communications of the ACM, vol. 53, no 6, pages 20-21.
- (en) « ACM awards: A. M. Turing Award » [archive du ] (consulté le )
- « National Academy of Engineering Elects 65 Members and Nine Foreign Associates »
- Royal Society Milner Award.
Bibliographie
[modifier | modifier le code]- Gordon Plotkin, Colin Stirling et Mads Tofte (éditeurs), Proof, Language, and Interaction: Essays in Honour of Robin Milner], MIT Press, 2000, (ISBN 0-262-16188-5).
- Obituary — Professor Robin Milner: computer scientist, The Times, 31 March 2010.
- (en) L. Hoffmann, « Robin Milner: the elegant pragmatist », Communications of the ACM, vol. 53, no 6, , p. 20 (DOI 10.1145/1743546.1743556)
- (en) R. Milner, « Is Computing an Experimental Science? », Journal of Information Technology, vol. 2, no 2, , p. 58–66 (DOI 10.1057/jit.1987.12)
- Cambridge University - Obituary
Liens externes
[modifier | modifier le code]- Ressources relatives à la recherche :
- Notices dans des dictionnaires ou encyclopédies généralistes :
- « A Brief Scientific Biography of Robin Milner » ; extrait du livre Proof, Language, and Interaction
- (en) Page de Robin Milner sur l'université de Cambridge.
- (en) Une interview de Robin Milner du
- Personnalité britannique de l'informatique
- Personnalité en informatique théorique
- Théorie des types
- Élève du collège d'Eton
- Étudiant de King's College (Cambridge)
- Professeur à l'université Stanford
- Professeur à l'université d'Édimbourg
- Professeur à l'université de Swansea
- Docteur honoris causa de l'université d'Édimbourg
- Docteur honoris causa de l'université de Glasgow
- Docteur honoris causa de l'université de Stirling
- Lauréat du prix Turing
- Lauréat du prix EATCS
- Membre de la Royal Society
- Membre de l'Académie des sciences (France)
- Membre de l'Academia Europaea
- Membre de la Royal Society of Edinburgh
- Naissance en janvier 1934
- Naissance dans le Devon
- Décès en mars 2010
- Décès à Cambridge
- Décès à 76 ans