Robin Milner

Arthur John Robin Gorell Milner (* 13. január 1934, Plymouth, Spojené kráľovstvo – † 20. marec 2010, Cambridge) bol britský informatik. Je autorom LCF (Logic for Computable Functions) - jedného z prvých nástrojov na automatické dokazovanie viet. Pre potreby LCF vyvinul programovací jazyk ML. Pracoval tiež v oblasti konkurentných systémov, kde vyvinul teoretické metódy ich analýzy: CCS (calculus of communicating systems - kalkul komunikujúcich systémov) a jeho nasledovníka - tzv. π-kalkul. V roku 1991 dostal Turingovu cenu.

Robin Milner
britský informatik
Narodenie	13. január 1934 Plymouth, Spojené kráľovstvo
Úmrtie	20. marec 2010 (76 rokov) Cambridge, Spojené kráľovstvo
Britský portál  Informatický portál  Biografický portál