据外媒消息,1991年图灵奖得主Robin Milner于2010年3月20日(他妻子葬礼后的第三天)在英国剑桥辞世,享年76岁。他是他是英国皇家学会成员,ACM会士,美国工程院外籍院士。
生平
Robin Milner出生于一个军人家庭,早年就读于伊顿公学。后加入英国皇家工程兵部队,获得少尉军衔。1952年入读剑桥大学国王学院,1957年毕业,之后的第一个工作是教师,然后在Ferranti公司当程序员。此后他进入学术界,先后在伦敦城市大学,Swansea大学,斯坦福大学任职。1973年回到英国爱丁堡大学,在爱丁堡大学任职期间,他开发了函数式编程语言ML,并和他的同事一起完成了LCF的开发。1995年,他回到母校剑桥大学任教,并担任剑桥大学计算机实验室主任。(来自维基百科)
One Response to 深切悼念
Leave a Reply Cancel reply
-
Articles
- March 2011
- November 2010
- September 2010
- August 2010
- June 2010
- April 2010
- March 2010
- December 2009
- September 2009
- June 2009
- May 2009
- April 2009
- March 2009
- February 2009
- November 2008
- October 2008
- July 2008
- June 2008
- May 2008
- April 2008
- March 2008
- February 2008
- January 2008
- December 2007
- November 2007
- August 2007
- June 2007
- May 2007
- April 2007
- March 2007
- January 2007
- December 2006
- November 2006
- October 2006
- September 2006
- August 2006
- July 2006
- June 2006
- May 2006
- April 2006
- March 2006
- January 2006
-
Meta






深切悼念