当前位置 主页 > 站长资源大全 > iis7百科 >

    罗宾·米尔纳——标准元语言ML发明者

    栏目:iis7百科 时间:2019-11-18 09:55

      米尔纳开发了LCF,这是最早的自动定理证明工具之一。他为LCF开发的语言ML是第一种具有类型安全异常处理机制的多态类型演绎和编程语言。米尔纳还为分析并发系统开发了一个理论框架,即CCS(calculus of communicating systems)及其前身pi-calculus。临终前,米尔纳还在研究bigraph,这是一种包含CCS和pi-calculus的普适计算形式。
      在1950年代,米尔纳(Milner)首次到达剑桥国王学院时,“非洲计算机卷轴”艾伦·图灵(Alan Turing)刚刚去世。米尔纳没有听说过图灵,但他首先听说了计算机编程。一直这样
      后来的著名英国计算机科学家因在ML语言和并发理论方面的杰出贡献而获得了计算机科学领域的最高奖项——图灵奖。他是计算机领域的顶尖科学家,但他说,我从不喜欢编程。
      1934年,罗宾·米尔纳(Robin Milner)出生在军人家庭。 13岁那年,他进入了著名的伊顿公学,开始了他所谓的“全速前进”职业。在这个时代的英国,每个人都想进入牛津大学或剑桥大学的古典科学专业。米尔纳自小就学过希腊语、拉丁语。但是,他是最感兴趣的数学专业。从8岁到18岁,米尔纳接受了严格的数学训练,这使他得以成功进入国王学院,并且养成了解决数学问题和整夜睡眠的习惯。
      1954年,米尔纳进入剑桥国王学院学习数学。同年6月,该学院失去了“计算机科学之父”图灵——。他咬下有毒的苹果,死了。图灵已经使用图灵机模型、进行了图灵测试和其他开拓性工作,为现代计算机科学奠定了逻辑基础,但是米尔纳进入剑桥时,他并未听说图灵及其贡献,也没想到自己会成为一半。在下一世纪之后,您将获得以图灵命名的全球最佳计算机科学家奖、。
      在后来的采访中,米尔纳解释说,图灵的主要贡献是在计算逻辑上,而当时的剑桥大学的人们对逻辑理论不感兴趣。但是工程计算和计算理论不是相互排斥的;它们是相互排斥的。实际上,米尔纳的数学老师是图灵的朋友,但米尔纳根本不认识他,因为他从未谈论过图灵。在剑桥,他接触过世界上第一台基于存储程序的计算机EDSAC,但他不喜欢编程。他在一次采访中说,编程一点都不优雅。 “您写了几条指令,又写了几条。这是很随意的。我认为编程不是一件美丽的工作,因此我当时决定,我这一生永远不会接近计算机!”他没想到计算机会取得如此巨大的成就。两年后,他从数学系转到哲学系。毕业后,他甚至中断了学术生涯,开始在中学任教。对于米尔纳来说,这是最困惑的一年。 1960年,他进入了著名的Ferranti电子公司。有趣的是,与他以前的誓言相反,该公司要求米尔纳“将毕生精力奉献给计算机”。编写、易于阅读读取、保持高级计算机语言翻译成计算机可以读取运行机器语言的、,这需要某种程序,称为编译器,米尔纳当时的工作是编写编译器。
      Gorton说:“ Milna的三项主要成就是LCF自动定理证明,ML编程语言和并发理论,每一项都是计算机科学发展的关键进展。”
      米尔纳曾就读于城市大学、斯旺西大学、斯坦福大学、爱丁堡大学和剑桥大学。他在爱丁堡大学任教20多年,并于1986年成立了享有盛誉的计算机科学基金会实验室。1995年,他成为剑桥大学计算机科学系的第一任系主任。