大家好，小牌来为大家解答以上的问题。米尔纳，关于米尔纳的介绍很多人还不知道，现在让我们一起来看看吧！

1、罗宾·米尔纳（Robin Milner），英国计算机科学家。

2、生于1934年1月13日，1991年获得世界计算机领域最高奖“图灵奖”。

3、在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统——“可计算函数的逻辑”。

4、另一方面的贡献是关于并发计算(concurrentcomputing)和并行计算（parallelcomputing）。

本文到此结束，希望对大家有所帮助。