“汝果欲学诗,工夫在诗外” ---- 一些小思考,献给也许正在纠结的中娃父母和正在学习的小娃父母# Parenting - 为人父母
a*e
1 楼
今天最新消息,2013年ACM图灵奖颁给了微软硅谷研究院的Leslie Lamport,他在编程
语言、分布式系统、模型验证等领域做出了出色的工作。著名的拜占庭将军问题、面包
店算法都是他提出来的。他还在Tex基础上发明了著名的LaTex系统,LaTeX的La就来自
他的名字。
microsoft/google 图灵奖
Microsoft 5人:
Tony Hoare (1980)
Butler Lampson (1992)
Jim Gray (1998)
Charles Thacker (2009)
Leslie Lamport (2013)
Google 2人:
Kenneth Lane Thompson (1983)
Vint Cerf (2004)
语言、分布式系统、模型验证等领域做出了出色的工作。著名的拜占庭将军问题、面包
店算法都是他提出来的。他还在Tex基础上发明了著名的LaTex系统,LaTeX的La就来自
他的名字。
microsoft/google 图灵奖
Microsoft 5人:
Tony Hoare (1980)
Butler Lampson (1992)
Jim Gray (1998)
Charles Thacker (2009)
Leslie Lamport (2013)
Google 2人:
Kenneth Lane Thompson (1983)
Vint Cerf (2004)