Robin Milner
- Robin Milner
-
Pour les articles homonymes, voir
Milner.
Arthur John Robin Gorell Milner (né le 13 janvier 1934 à Yealmpton, près de Plymouth et mort le 20 mars 2010 à Cambridge[1],[2]) est un informaticien britannique.
Issu d'un milieu modeste, Milner obtient des bourses pour aller étudier à Eton, puis au King's College de Cambridge[3].
Diplômé de l'université de Cambridge, il a été professeur aux universités de Londres, Swansea, Édimbourg, Stanford et Cambridge.
Robin Milner est connu pour ses trois principales contributions en informatique, à savoir :
- LCF, le premier système de démonstration automatique de théorèmes, utilisé pour démontrer automatiquement des assertions mathématiques ;
- le langage ML ;
- la théorie d'analyse des systèmes concurrents (calculus of communicating systems, CCS) et son successeur, le pi-calcul.
Ses trois inventions lui valurent le prix Turing de l'ACM en 1991[4].
Références
Voir aussi
Liens externes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Robin Milner de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Robin Milner — Saltar a navegación, búsqueda Robin Milner es un prominente científico británico en Computación. Graduado en el King s College, Cambridge en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford,… … Wikipedia Español
Robin Milner — es un prominente Científico Británico en Computación. Graduado en el King s College, Cambridge en 1952, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como… … Enciclopedia Universal
Robin Milner — Infobox Scientist name = Robin Milner image width = 150px caption = birth date = 1934 birth place = Plymouth, England death date = death place = residence = citizenship = nationality = ethnicity = field = Computer Science work institution =… … Wikipedia
Robin Milner — Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in Yealmpton bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger. Inhaltsverzeichnis 1 Biographie 2 Auszeichnungen (Auswahl) … Deutsch Wikipedia
Milner — may refer to: Contents 1 People 2 Places 3 Other uses 4 See also People Alfred Milner, 1st Viscount Milner (1854–1 … Wikipedia
Milner — ist der Name von Alfred Milner, 1. Viscount Milner (1854–1925), britischer Politiker und Gouverneur Brenda Milner (* 1918), britische Psychologin Eric Milner (1928–1997), britisch kanadischer Mathematiker Isaac Milner (1750–1820), englischer… … Deutsch Wikipedia
Milner (homonymie) — Milner Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Patronyme Brenda Milner, professeur de neuropsychologie québécois. Fraser Milner, un des principaux cabinets en droit des affaires au Canada James… … Wikipédia en Français
Robin (desambiguación) — Saltar a navegación, búsqueda Robin es un termino inglés para referirse a los petirrojos y presente en numerosos nombres y apellidos. Puede referirse a los siguientes artículos: Cock Robin, banda de pop rock estadounidense. Planificación Round… … Wikipedia Español
Milner — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Patronyme Brenda Milner, professeur de neuropsychologie québécois. Fraser Milner, un des principaux cabinets en droit des affaires au Canada James Milner … Wikipédia en Français
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
