罗宾·米尔纳

robin milner 罗宾米尔纳

热度:433

简介

罗宾·米尔纳(robin milner),英国计算机科学家。生于1934年1月13日,1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设计语言方面,米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型,实现了他称之为lcf的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算(concurrentcomputing)和并行计算(parallelcomputing)。

中文名	罗宾·米尔纳
出生地	英国普利茅斯
出生日期	1934-01-13
原始名称	罗宾·米尔纳
国籍	英国
地区	欧美
外文名	robin milner
职业	计算机科学家
英文名	robin milner
逝世日期	03-20