Robin Milner
模块 中文名：罗宾·米尔纳 英文名：Robin Milner 性别：男 国籍：英国 出生年月： 1934年1月13日 职业：IT 计算机科学家 毕业院校：剑桥大学 概述 1952年从 剑桥大学国王学
基于4656个网页-相关网页
罗宾·米尔纳（Robin Milner），英国计算机科学家。生于1934年1月13日，1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算（concurrent computing）和并行计算（parallel computing）。
详细内容
应用推荐
模块上移
模块下移
不移动