深切悼念

据外媒消息，1991年图灵奖得主Robin Milner于2010年3月20日（他妻子葬礼后的第三天）在英国剑桥辞世，享年76岁。他是他是英国皇家学会成员，ACM会士，美国工程院外籍院士。

生平

Robin Milner出生于一个军人家庭，早年就读于伊顿公学。后加入英国皇家工程兵部队，获得少尉军衔。1952年入读剑桥大学国王学院，1957年毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。此后他进入学术界，先后在伦敦城市大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言ML，并和他的同事一起完成了LCF的开发。1995年，他回到母校剑桥大学任教，并担任剑桥大学计算机实验室主任。（来自维基百科）