罗宾·米尔纳学习

发布网友发布时间：2024-12-10 05:11

共1个回答

热心网友时间：2天前

罗宾·米尔纳于1934年1月13日出生，他在教育道路上选择了高等学府，先是在埃顿学院接受教育，随后在国王学院深造，这个学院同样培养了如图灵这样的科学巨匠。他的专业是数学，1957年在剑桥大学获得了学士学位。大学期间，米尔纳有机会接触到了威尔克斯主持研发的世界上第一台存储程序式电子计算机EDSAC，并在此计算机上编写过程序，尽管那时他对计算机并不热衷。

毕业后，米尔纳成为了一名中学数学教师，计算机对他来说似乎已经远去。然而，1960年他决定改变职业路径，向伦敦的Ferranti公司投递求职信。这家公司对有编程经验的米尔纳表示欢迎，但提出了一个条件：他需要全身心投入计算机领域。对于这个要求，米尔纳面临着抉择，计算机的未来对他来说还是个未知数。

在20世纪60年代初期，计算机还未普及，其深远意义和行业的潜力对大多数人来说还是模糊的。米尔纳的决定并不容易，但他最终做出了明智的选择，加入了Ferranti公司，开始了与计算机科学同步的成长历程。

然而，米尔纳在Ferranti公司的工作只有三年，之后他转向学术领域，先后在伦敦城市大学、斯旺西大学以及斯坦福大学任教研究。然而，他最终的长期驻足之地是爱丁堡大学，这所英国历史最悠久、学术声誉卓越的大学，尤其在计算机科学，尤其是人工智能领域，其研究工作一直保持着世界领先的地位。

扩展资料

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