Robin Milner


Robin Milner
Page d'aide sur l'homonymie 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


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.