计算的美丽–1991年图灵奖获得者Robin Milner
作者 陈怀临 | 2008-03-29 17:26 | 类型 人物评述, 计算的美丽 | 1条用户评论 »
Robin Milner( 1934–) 图灵奖获得时间: 1991年。 第二十六位图灵奖(1991年)获得者。 图灵奖引用(Turing Award Citation) : For three distinct and complete achievements: 1) LCF, the mechanization of Scott’s Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics. 【笔者译:】 ( 授予Robin Milner图灵奖以表彰其在) 三个研究领域的杰出的和完整性的成就: 1. LCF, 一个(Dana Scott)的可计算函数逻辑(Logic of Computable Functions)的实现机制,(可能)是第一个理论上和实践上都具备的计算机证明(数学)定理的工具。 2. ML, 第一个具有多态的类型推理和具有安全类型的异常处理机制的(编程)语言。 3. CCS, 一个并发系统的综合理论。 另外,Robin Milner在operational 和denotational的语义关系方面进行了形式化的描述和深入的研究。
笔者注: LCF: Logic of Computable Functions. http://en.wikipedia.org/wiki/LCF_theorem_prover http://en.wikipedia.org/wiki/Automated_theorem_proving ML: http://en.wikipedia.org/wiki/ML_programming_language CCS: Calculus of Communication Systems http://en.wikipedia.org/wiki/Calculus_of_Communicating_Systems CSP(Communicating Sequential Processes)是另外一个著名的描述并发系统的形式语言, 由CAR Hoare(1980年图灵奖得主) 发明. CSP: http://en.wikipedia.org/wiki/Communicating_sequential_processes 另外一个著名的时序逻辑描述语言是LOTOS. LOTOS (Language Of Temporal Ordering Specification): http://en.wikipedia.org/wiki/LOTOS 关于并发系统,可参见:http://vl.fmnet.info/concurrent/ Turing Award Lecture(图灵奖演讲文章): Elements of Interaction – Turing Award Lecture. Commun. ACM 36(1): 78-89(1993)
剑桥大学毕业后,Milner先后就职于Ferranti公司,伦敦城市大学,Swansea大学,斯坦福大学。1973年,就任与University of Edinburgh (http://www.ed.ac.uk/ ). 1995年,Milner回到剑桥大学计算机实验室(Computer Laboratory: http://www.cl.cam.ac.uk/ )出任教授。另外除了LCF,ML和CCS的杰出贡献之外,Milner也是pi-calculus的发明者之一。 关于pi-calculus,可参见:http://en.wikipedia.org/wiki/Pi-calculus Robin Milner照片: | |
雁过留声
“计算的美丽–1991年图灵奖获得者Robin Milner”有1个回复
我对CSP,CSS等形式并发系统有过1.5年左右的接触,最后因为太难,没人指导而放弃,转向做分布式对象系统和组通信。现在想来,非常可惜。当然,这方面的研究,没人指导基本上不可能做下去。连做什么都不可能知道。。。。
但CSP,CSS等确实太美了。有时觉得作过理论的,确实可能看不起我们这些做工程的。嘿嘿嘿。我就差那么一步,在理论的门口看了一下,没人引进门:—(。
希望有一天有钱了,有时间了,我一定要。。。。:–)