Robin Milner
informaticien britannique / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Robin Milner?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Milner.
Arthur John Robin Gorell Milner, né le à Yealmpton, près de Plymouth et mort le à Cambridge[2],[3], est un informaticien britannique.
Faits en bref Naissance, Décès ...
Robin Milner
Naissance |
Yealmpton, près de Plymouth |
---|---|
Décès |
(à 76 ans) Cambridge |
Nationalité | britannique |
Domaines | mathématiques, informatique |
---|---|
Institutions |
City University de Londres université de Swansea université Stanford université d’Édimbourg université de Cambridge |
Diplôme | B. A. Cambridge |
Formation | King’s College de l'université de Cambridge |
Directeur de thèse | pas de directeur : il n'a pas soutenu de thèse |
Étudiants en thèse | 19[1] |
Influencé par | Christopher Strachey, Dana S. Scott, John McCarthy |
Renommé pour | Logic 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
|
Fermer