Robin Milner - Robin Milner

Robin Milner
Robin Milner.jpg
Né
Arthur John Robin Gorell Milner

( 1934-01-13 )13 janvier 1934
Yealmpton , Plymouth , Angleterre
Décédés 20 mars 2010 (2010-03-20)(76 ans)
Cambridge , Angleterre
Connu pour
Récompenses
Carrière scientifique
Des champs L'informatique
Établissements
Conseiller de doctorat Aucun, car Milner n'a jamais fait de doctorat
Doctorants Mads Tofte (1988)
Faron Moller
Chris Tofts
Davide Sangiorgi (1993)

Arthur John Robin Gorell Milner FRS (13 janvier 1934 - 20 mars 2010), connu sous le nom de Robin Milner ou AJRG Milner , était un informaticien britannique et lauréat du prix Turing .

Vie, éducation et carrière

Milner est né à Yealmpton , près de Plymouth , en Angleterre, dans une famille de militaires. Il a obtenu une bourse du roi à Eton College en 1947 et a reçu le prix Tomline (le prix le plus élevé en mathématiques à Eton) en 1952. Par la suite, il a servi dans les Royal Engineers , atteignant le grade de sous-lieutenant. Il s'est ensuite inscrit au King's College de Cambridge et a obtenu son diplôme en 1957. Milner a d'abord travaillé comme enseignant puis comme programmeur à Ferranti , avant d'entrer dans le monde universitaire à la City University de Londres , puis à la Swansea University , à la Stanford University et à partir de 1973 à l' Université d'Édimbourg. , où il a été co-fondateur du Laboratoire des fondements de l'informatique (LFCS). Il est retourné à Cambridge à la tête du laboratoire d'informatique en 1995, dont il a finalement démissionné, bien qu'il soit toujours au laboratoire. À partir de 2009, Milner a été membre de la Scottish Informatics & Computer Science Alliance Advanced Research Fellow et a occupé (à temps partiel) la chaire d'informatique à l' Université d'Édimbourg .

Milner est décédé d'une crise cardiaque le 20 mars 2010 à Cambridge. Sa femme, Lucy, est décédée peu de temps avant lui.

Contributions

Milner est généralement considéré comme ayant apporté trois contributions majeures à l' informatique . Il a développé Logic for Computable Functions (LCF), l'un des premiers outils de démonstration automatisée de théorèmes . Le langage qu'il a développé pour LCF, ML , a été le premier langage avec l' inférence de type polymorphe et la gestion des exceptions de type sûr . Dans un domaine très différent, Milner a également développé un cadre théorique pour l'analyse des systèmes concurrents , le calcul des systèmes communicants (CCS), et son successeur, le π -calcul .

Au moment de sa mort, il travaillait sur bigraphs , un formalisme pour l' informatique omniprésente subsumant CCS et le π -calcul. Il est également crédité d'avoir redécouvert le système de type Hindley-Milner .

Honneurs et récompenses

Il a été nommé membre de la Royal Society et membre distingué de la British Computer Society en 1988. Milner a reçu le prix ACM Turing en 1991. En 1994, il a été intronisé membre de l' ACM . En 2004, la Royal Society of Edinburgh a décerné à Milner une Médaille royale pour son "apport d'avantages publics à l'échelle mondiale". En 2008, il a été élu associé étranger de la National Academy of Engineering pour ses « contributions fondamentales à l'informatique, y compris le développement de LCF, ML, CCS et du π -calcul ». [1]

Le Royal Society Milner Award porte son nom.

Publications sélectionnées

  • Un calcul des systèmes de communication , Robin Milner. Springer-Verlag ( LNCS 92), 1980. ISBN  3-540-10235-3
  • Communication et concurrence , Robin Milner. Prentice Hall International Series in Computer Science , 1989. ISBN  0-13-115007-3
  • La définition du ML standard , Robin Milner, Mads Tofte , Robert Harper, MIT Press 1990
  • Commentaire sur Standard ML , Robin Milner, Mads Tofte , MIT Press 1991. ISBN  0-262-63137-7
  • La définition du ML standard (révisée), Robin Milner, Mads Tofte , Robert Harper, David MacQueen, MIT Press 1997. ISBN  0-262-63181-4
  • Systèmes communicants et mobiles : le π -Calculus , Robin Milner. Cambridge University Press , 1999. ISBN  0-521-65869-1
  • L'espace et le mouvement des agents de communication , Robin Milner, Cambridge University Press , 2009. ISBN  978-0-521-73833-0

Voir aussi : Publications de Robin Milner dans DBLP

Les références

Lectures complémentaires

Liens externes