罗宾·米尔纳实验室
发布网友
发布时间：2024-12-10 05:11
共1个回答
热心网友
时间：2024-12-10 09:30
罗宾·米尔纳是一位在计算机科学领域有着深厚影响的学者，他在爱丁堡大学执教超过20年。1986年，他的一项重要贡献是创立了爱丁堡大学的计算机科学基础实验室（Laboratory for Foundations of Computer Science），并担任该实验室的主任。这个实验室得到了英国科学与工程研究院的长期支持，为计算机科学研究奠定了坚实的基础。
米尔纳在爱丁堡的学术生涯中取得了显著成就，然而，近年来他做出了新的职业选择，离开了熟悉的爱丁堡大学，转至剑桥大学的计算实验室。这一转变标志着他在学术领域的进一步发展，可能将带来新的研究视角和合作机会。
尽管他的工作地点发生了变化，但米尔纳的专业精神和对计算机科学的热情并未减退。他的最新联系信息为：Robin．Milner@cl．cam．ac．uk，如果你对他的研究或想与他交流，可以通过这个邮箱联系他。
扩展资料
罗宾·米尔纳（Robin Milner），英国计算机科学家。生于1934年1月13日。1991年获得图灵奖。在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算(concurrentcomputing)和并行计算(parallelcomputing)的。另一方面的贡献是关于并发计算(concurrentcomputing)和并行计算(parallelcomputing)的。
