Robota.sk - za lepším zamestnaním, robotou a pracou

alebo nájdi dovolenku:

Reklama:

Robota.sk Za lepším zamestnaním.

Arthur John Robin Gorell Milner (* 13. január 1934, Plymouth, Anglicko, Spojené kráľovstvo) je 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.

čítajte viac o Robin Milner

Encyklopédia: ROBOTA.SK > 2010 > Úmrtia v 2010 >

Príbuzné výrazy:

Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky použitia.

Reklama: