Robin Milner

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání
Robin Milner
britský informatik
Narodenie13. január 1934
Plymouth, Spojené kráľovstvo
Úmrtie20. marec 2010 (76 rokov)
Cambridge, Spojené kráľovstvo

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.