图灵奖得主罗宾-米尔纳去世(图)

美国计算机协会会员、图灵奖得主罗宾·米尔纳(Robin Milner)

　　北京时间3月23日上午消息,据国外媒体报道,美国计算机协会会员、图灵奖得主罗宾·米尔纳(Robin Milner)于3月20日星期六(002291,股吧)去世,享年76岁。

　　米尔纳开发了LCF,这是首款自动定理证明工具之一。他为LCF开发的语言ML是第一个多态类型推演和具有类型安全异常处理机制的编程语言。米尔纳还为分析并发系统开发了一个理论框架,即CCS(calculus of communicating systems)及其前身pi-calculus。临终前,米尔纳还在研究bigraph,这是一种包含CCS和pi-calculus的普适计算形式。