iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://sk.wikipedia.org/wiki/Robin_Milner
Robin Milner – Wikipédia Preskočiť na obsah

Robin Milner

z Wikipédie, slobodnej encyklopédie
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.