2013年图灵奖授予了微软计算机科学家Leslie Lamport

[levee]

lij3nkCQcQB2.jpg (12.87 KiB) 查看 42089 次

美国计算机学会（ACM）宣布了2013年度的图灵奖得主：微软研究院的首席研究员Leslie Lamport。ACM的新闻稿说，Leslie Lamport在分布式和并发系统的理论实践上作出了重要贡献，提出了因果律、逻辑时钟、状态机复制和顺序一致性等概念。Lamport在MIT获得学士学位，在Brandeis大学获得数学硕士和博士学位，先后在麻省计算机协会、斯坦福国际研究所、DEC和康柏工作过，2001年加入微软加州山景城研究院。他是著名的排版系统LaTeX的作者，拜占庭错误冗余和Paxos算法的提出者，2000年获得了Dijkstra 奖，2012年获得冯诺依曼奖。


来源：Solidot

[我要昂扬前行]

latex的作者，ee还不快来膜拜？

[photor]

latex的作者，ee还不快来膜拜？

tex才是排版系统，latex只是一套宏包集

[我要昂扬前行]

latex的作者，ee还不快来膜拜？

tex才是排版系统，latex只是一套宏包集

原来如此。受教了。

[黄一孟]

来看看的，纯好奇