Robin Milner

Robin Milner

Robin Milner

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, Universidad de Edimburgo y desde 1995 como jefe de laboratorio de Computación de Cambridge.

Generalmente se mencionan tres grandes contribuciones de Milner en computación:

  • Desarrolló el sistema LCF que fue una de las primeras herramientas de demostración automática de teoremas
  • Desarrollo del lenguaje ML, que era el meta lenguaje para escribir estrategias y tácticas en LCF. También fue el primer lenguaje en poseer un sistema polimórfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos.
  • Desarrollo de un marco teórico para el análisis de sistemas concurrentes, el cálculo de sistemas comunicantes y su sucesor, el cálculo pi.

En 1988 fue nombrado caballero de la Sociedad Real Británica y en 1991 recibió el Premio Turing de la ACM.

Enlaces externos y referencias

Obtenido de "Robin Milner"

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • 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

  • 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] …   Wikipédia en Français

  • 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

Compartir el artículo y extractos

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