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 | ||
| |||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.