Robin Milner
| Robin Milner | |
| britský informatik | |
| Narodenie | 13. január1934 Plymouth,Spojené kráľovstvo |
|---|---|
| Úmrtie | 20. marec2010(76 rokov) Cambridge,Spojené kráľovstvo |
Arthur John Robin Gorell Milner(*13. január1934,Plymouth,Spojené kráľovstvo– †20. marec2010,Cambridge) bol britskýinformatik.Je autoromLCF(Logic for Computable Functions)- jedného z prvých nástrojov naautomatické dokazovanie viet.Pre potreby LCF vyvinul programovací jazykML.Pracoval tiež v oblastikonkurentnýchsysté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 roku1991dostalTuringovu cenu.
|
Tento článok týkajúci sabiografieosobnosti je zatiaľ „výhonok“.Pomôž Wikipédii tým, že hodoplníš a rozšíriš. |