Robin Milner

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].

Robin Milner

Państwo 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

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