Robin Milner

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania
Robin Milner
Kraj działania  Wielka Brytania
Data i miejsce urodzenia 13 stycznia 1934
Plymouth
Data i miejsce śmierci 20 marca 2010
Cambridge
Specjalność: informatyka
Alma Mater Uniwersytet w Cambridge
Uczelnia Uniwersytet Stanforda

Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge[1][2]) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku[3] i EATCS w roku 2005[4]. Od 1988 był członkiem Royal Society[1].

Twórca LCF (Logic for Computable Functions)[5] – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML[5] stworzonego na potrzeby LCF.

Przypisy[edytuj | edytuj kod]

  1. a b Martin Campbell-Kelly: Robin Milner obituary (ang.). The Guardian, 1 kwietnia 2010. [dostęp 2018-10-27].
  2. [TYPES] Very sad news (ang.). lists.seas.upenn.edu. [dostęp 2017-11-26].
  3. Robin Milner. Elements of interaction: Turing award lecture. „Communications of the ACM”. 36, s. 78–89, 1993. DOI: 10.1145/151233.151240 (ang.). 
  4. EATCS Award (ang.). eatcs.org. [dostęp 2018-10-27].
  5. a b From LCF to HOL: a short history. W: Michael J. C. Gordon: Proof, Language, and Interaction: Essays in Honour of Robin Milner. Cambridge, MA: MIT Press, 2000, s. 169–185. ISBN 0-262-16188-5. [dostęp 2018-10-27].