MILNER ROBIN (1934-2010)

Carte mentale

Élargissez votre recherche dans Universalis

Le Britannique Robin Milner a été l'un des pionniers de la science informatique. Il avait reçu en 1991 le prix Turing, l'une des plus prestigieuses récompenses en informatique, pour ses contributions majeures aux fondements de ce domaine.

Né le 13 janvier 1934 à Yealmpton, dans le Devon et issu d'un milieu modeste, Arthur John Robin Gorell Milner étudie à l'Eton College, puis obtient une bourse pour intégrer le King's College de l'université de Cambridge en 1952. Toutefois, ce n'est qu'après ses deux années de service militaire – effectuées au canal de Suez, au sein du corps des ingénieurs royaux de l'armée britannique – qu'il s'installe à Cambridge en 1954. Milner y obtient sa licence de mathématique en 1957. Son premier contact avec l'informatique se fait durant l'été de 1956 sous la forme d'une brève formation à la programmation au cours de laquelle il utilise l'ordinateur E.D.S.A.C. (Electronic Delay Storage Automatic Computer) de l'université. Milner part ensuite s'installer à Londres, où il occupe divers postes, enseignant notamment les mathématiques au lycée Marylebone (1959-1960), avant de devenir programmeur et de développer des compilateurs pour la société Ferranti Ltd. (qui avait produit le premier ordinateur commercial, le Ferranti Mark-I, en 1951).

En 1963, Milner quitte cette entreprise pour enseigner les mathématiques aux étudiants ingénieurs de l'université de Londres et y mener des recherches sur l'intelligence artificielle et ses applications aux bases de données. En 1968, il accepte un poste de chercheur à l'University College de Swansea (auj. université du pays de Galles), où il travaille sur la vérification des programmes, la démonstration automatique des théorèmes mathématiques. En 1971, Milner part aux États-Unis travailler aux côtés de John McCarthy au laboratoire d'intelligence artificielle de l'université Stanford. Il y développe le système L.C.F. (Logic for Computable Functions), l'un des premi [...]

1 2 3 4 5

pour nos abonnés,
l’article se compose de 2 pages




Classification

Pour citer l’article

« MILNER ROBIN - (1934-2010) », Encyclopædia Universalis [en ligne], consulté le 18 février 2019. URL : http://www.universalis.fr/encyclopedie/robin-milner/