北京时间3月23日上午消息，据国外媒体报道，美国计算机协会会员、图灵奖得主罗宾·米尔纳(Robin Milner)于3月20日星期六去世，享年76岁。
米尔纳开发了LCF，这是首款自动定理证明工具之一。他为LCF开发的语言ML是第一个多态类型推演和具有类型安全异常处理机制的编程语言。米尔纳还为分析并发系统开发了一个理论框架，即CCS(calculus of communicating systems)及其前身pi-calculus。临终前，米尔纳还在研究bigraph，这是一种包含CCS和pi-calculus的普适计算形式。(鼎宏)
