|
|
In memoriam
|
| |
|
|
|
 |
|
Robin Milner
(13 janvier 1934 - 20 mars 2010)
|
Robin Milner, né le 13 janvier 1934 au Royaume-Uni, Professeur émérite à l’université de Cambridge, Grande-Bretagne, est décédé le 20 mars 2010. Il avait été élu Associé étranger de l'Académie des sciences le 21 juin 2005 (section de sciences mécaniques et informatiques).
Son œuvre scientifique, considérable, de Robin Milner, en fait l’un des grands fondateurs de l’informatique moderne. Dans les années 1970, il a construit le système LCF (Logic for Computable Functions), qui fut le premier système de preuve de programmes fondé mathématiquement et a inspiré tous les systèmes de vérification actuels (comme CoQ en France). Pour gérer les preuves LCF, il a introduit le langage ML (Meta-Language) et son système de types polymorphes, base des plus élégants langages de programmations actuels, comme OCaml de l’INRIA. Dans les années 1980-1990, il a été le principal pionnier de l’étude algébrique des systèmes parallèles communicants, avec les calculs de processus statiques comme CCS (Calculus of Communicating Systems), puis les calculs dynamiques plus ambitieux comme le pi-calcul, qui sert maintenant de base à de nombreuses études sur la programmation distribuée et la sécurité des programmes. Il a récemment terminé un ouvrage sur son nouveau modèle des bigraphes destiné à la nouvelle l’informatique ubiquitaire.
Robin Milner restera dans les mémoires comme un savant particulièrement créatif et exigeant, dont chaque contribution a créé une école restée très active sur le plan mondial, et en particulier en France.
Gérard Berry
Mai 2010
| 1968 |
Research Assistant, Computer Science Department, Swansea
University (UK)
|
| 1971-1973 |
Research
Associate, Stanford University (USA) |
| 1973-1995 |
Lecturer,
Computer Science Department, Edinburgh University (UK) |
| 1986 |
Founder
of the Laboratory for the Foundation of Computer Science,
Edinburgh |
| 1995 |
Professor
of Computer Science, University of Cambridge (UK) |
| 1996-1999 |
Head
of Computer Laboratory, University of Cambridge |
| depuis 1999 |
Professor
emeritus, University of Cambridge |
1988 Fellow of the Royal Society (London)
1988 Founder Member of the Academia Europaea
1987
British Computer Society Award
1988 Distinguished Fellow, British Computer Society
1991 A.M. Turing Award, Association for Computing Machinery
1994 ITALGAS Prize or Informatics (Italy)
1994 F.L. Bauer Prize (Germany)
2004 Royal Gold Medal, Royal Society of Edinburgh
Le 3 mai 2010
|
|
