Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005. Od 1988 był członkiem Royal Society.
Twórca LCF () – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML stworzonego na potrzeby LCF.
Przypisy
Kategoria:Brytyjscy informatycy Kategoria:Laureaci Nagrody Turinga Kategoria:Urodzeni w 1934 Kategoria:Zmarli w 2010 Kategoria:Ludzie urodzeni w Plymouth Kategoria:Twórcy języków programowania Kategoria:Nauczyciele akademiccy Uniwersytetu Stanforda