Robin Milner

Arthur John Robin Gorell Milner FRS FRSE (né le 13 janvier 1934 à Yealmpton près de Plymouth , † 20 mars 2010 à Cambridge ) était un professeur britannique d' informatique et lauréat du prix Turing .

Biographie

Milner était le fils de l'officier d'infanterie John Theodore Milner et de Muriel Emily Milner. Il a passé son enfance dans divers endroits en Angleterre, en Écosse et au Pays de Galles. Parfois, il a fréquenté la Selwyn House School et, à partir de 1947, en tant que boursier, l' Eton College (entre autres avec le futur Lord Richard Layard ). Il a ensuite terminé son service militaire avec les Royal Engineers au canal de Suez de 1952 à 1954 , où il a atteint le grade de sous-lieutenant, puis a étudié avec une autre bourse de mathématiques et plus tard de philosophie au King's College de l' Université de Cambridge . En 1957, il a obtenu son BA et a travaillé à Londres, d'abord dans plusieurs emplois à temps partiel, plus tard un an comme professeur de mathématiques à la St Marylebone Grammar School et enfin à partir de 1960 en tant que programmeur à Ferranti , où il a pris en charge le programme. bibliothèque de l' ordinateur Sirius .

En 1963, il est nommé pour enseigner les mathématiques et l'informatique à la City University de Londres , où son intérêt pour l'intelligence artificielle est notamment suscité par les travaux de Christopher Strachey . Cela a été suivi par des activités de recherche à l' Université de Swansea (1968 à 1971), à l'Université de Stanford (1971 à 1973) et à partir de 1973 à l' Université d'Édimbourg , où il est devenu professeur titulaire en 1984 (après un poste de professeur invité à l'Université d'Aarhus de 1979 à 1980. ) en 1984 et 1986 jusqu'en 1989 a été directeur fondateur du Laboratoire des fondations de l'informatique . Surtout, il a renforcé l'ancrage de l'informatique théorique dans l'enseignement. En 1995, il est retourné à l'Université de Cambridge, où il a dirigé le laboratoire d'informatique de 1996 à 1999 , dont il s'est progressivement retiré. En 2001, il prend sa retraite, mais poursuit ses recherches à Cambridge et à Édimbourg et de 2006 à 2007, il occupe la chaire internationale de recherche Blaise-Pascal à l' École normale supérieure de Paris.

Milner s'est toujours intéressé aux fondements théoriques des problèmes pratiques, en se concentrant sur les langages de programmation, les preuves formelles et les modèles de calcul abstraits. Il a développé (inspiré par les travaux de Dana Scott ) dans le groupe de recherche de John McCarthy à Stanford LCF ( Logic for Computable Functions ), l'un des premiers outils pour les preuves automatiques . Le langage de programmation ML ( Meta-Language ), qu'il a développé pour l'implémentation de LCF, a été le premier langage avec l' inférence de type polymorphe et la gestion des exceptions de type sécurisé , et s'est développé en un langage de programmation de travail et d'enseignement indépendant. Milner a également orienté son développement vers la norme ML de 1983 à 1990. Dans un domaine complètement différent, Milner a développé une théorie pour l'analyse des systèmes concurrents , le calcul des systèmes communicants (CCS; base de la norme ISO Language of Temporal Ordering Specification , LOTOS) et (avec Joachim Parrow et David Walker) son successeur, le π-calcul , et aussi avec David Park le concept de bis-simulation . Plus récemment, il a conçu un modèle mathématique basé sur les bigraphes , qui devait être utilisé en particulier dans l' informatique omniprésente , et pour lequel il a également travaillé avec Tony Hoare . Milner a également fait un usage intensif de toutes ces réalisations dans l'enseignement. Bien qu'il n'ait jamais fait de doctorat lui-même, il a encadré 19 doctorants dans sa carrière.

En plus de divers comités universitaires, il était entre autres. a également siégé au Conseil de l' Association européenne pour la théorie de l'informatique et au Comité des mathématiques et de l'informatique de la Royal Society , a conseillé Danmarks Grundforskningsfond sur la création d'écoles de troisième cycle et a été membre fondateur du UK Computing Research Committee . Il a travaillé entre autres. pour les revues Theoretical Computer Science et The Computer Journal .

Milner était marié à Lucy Milner depuis 1963 et avait une fille et deux fils, mais dont il a survécu.

Récompenses (sélection)

Il a été nommé membre (« Fellow ») de la Royal Society of London en 1988 et en 1991, il a reçu le prix ACM Turing pour LCF, ML et CCS. En 1994, il a reçu le prix Friedrich L. Bauer , en 2004 l'une des médailles royales de la Royal Society of Edinburgh et en 2005 le prix EATCS .

Milner a été membre fondateur de l' Academia Europaea (1988), membre émérite de la British Computer Society (1988), membre de la Royal Society of Edinburgh (1993) et de l'ACM (1994), ainsi que membre étranger de la Académie des Sciences (2005) et Académie nationale d'ingénierie (2008).

Il a reçu des doctorats honorifiques de TH Chalmers (1988), de l' Université de Stirling (1996), de l' Université de Bologne (1997), de la City University de Londres (1998), de l' Université d'Aarhus (1999), de l' Université d'Essex (2000) , l' Université d'Édimbourg (2003), l' Université de Glasgow (2005) et l' Université de Paris-Sud (2007), et est membre honoraire de l' Université de Swansea (2004).

Milner lui-même a donné de l'argent à l'Université d'Édimbourg pour organiser la conférence annuelle Milner , qui rend hommage chaque année depuis 1996 aux chercheurs qui ont apporté des contributions significatives au lien entre l'informatique théorique et pratique.

Prix ​​Milner de la Royal Society

Le Royal Society Milner Award , du nom de Robin Milner, est décerné pour des réalisations exceptionnelles dans le domaine de l'informatique . Les lauréats sont Xavier Leroy (2016), Thomas Henzinger (2015), Bernhard Schölkopf (2014), Serge Abiteboul (2013) et Gordon Plotkin (2012).

Polices (sélection)

• A Calculus of Communicating Systems (= Notes de cours en informatique. 92) Springer, Berlin et al. 1980, ISBN 3-540-10235-3 .
• Communication et concurrence. Prentice Hall, New York NY et al.1989 , ISBN 0-13-115007-3 .
• avec Mads Tofte et Robert Harper: The Definition of Standard ML. MIT Press, Cambridge et al.1990 , ISBN 0-262-13255-9 (édition révisée: avec Mads Tofte, Robert Harper et David MacQueen. Ibid 1997, ISBN 0-262-63181-4 ).
• L'espace et le mouvement des agents communicants. Cambridge University Press, Cambridge et al.2009, ISBN 978-0-521-73833-0 .

Littérature

• Gordon Plotkin , Colin Stirling et Mads Tofte (Eds.): Preuve, langage et interaction: essais en l'honneur de Robin Milner . MIT Press , 2000. ISBN 0-262-16188-5 . Un livre d'informatique dédié à Milner qui couvre de nombreux domaines de son travail.

liens web

• Site Web de Milner Cambridge (anglais)
• Martin Berger: Entretien avec Robin Milner , 3 septembre 2003
• Gordon Plotkin, Colin Stirling et Mads Tofte: Une brève biographie scientifique de Robin Milner , la partie biographique de Proof, Language, and Interaction (PDF, anglais; 239 kB)

Preuve individuelle

1. ^ Liste des membres depuis 1666: Lettre M. Académie des sciences, consultée le 23 janvier 2020 (français). 
2. ^ Royal Society Milner Award ( souvenir du 23 juillet 2015 dans les archives Internet ). Récupéré le 20 juillet 2015.