Robin Milner

Page d'aide sur l'homonymie Pour les articles homonymes, voir Milner.
Robin Milner
Naissance
Yealmpton, près de Plymouth
Décès
Cambridge
Nationalitébritannique
Domainesmathématiques, informatique
InstitutionsCity University de Londres
université de Swansea
université Stanford
université d’Édimbourg
université de Cambridge
DiplômeB. A. Cambridge
FormationKing’s College de l'université de Cambridge
Directeur de thèsepas de directeur : il n'a pas soutenu de thèse
Étudiants en thèse19[1]
Influencé parChristopher Strachey, Dana S. Scott, John McCarthy
Renommé pourLogic 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

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 École normale supérieure de Paris.

Other Languages
العربية: روبن ميلنر
تۆرکجه: رابین میلز
català: Robin Milner
Deutsch: Robin Milner
English: Robin Milner
español: Robin Milner
Bahasa Indonesia: Robin Milner
italiano: Robin Milner
Malagasy: Robin Milner
Nederlands: Robin Milner
polski: Robin Milner
português: Robin Milner
română: Robin Milner
русский: Милнер, Робин
srpskohrvatski / српскохрватски: Robin Milner
slovenčina: Robin Milner
српски / srpski: Робин Милнер
Türkçe: Robin Milner
українська: Робін Мілнер
Tiếng Việt: Robin Milner