2014年3月19日星期三

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

Solidot

奇客的资讯,重要的东西

2013年图灵奖授予了微软计算机科学家Leslie Lamport
http://solidot.org.feedsportal.com/c/33236/f/556826/s/3859fc1d/sc/21/l/0L0Ssolidot0Borg0Cstory0Dsid0F38784/story01.htm
Mar 19th 2014, 09:50



美国计算机学会(ACM)宣布了2013年度的图灵奖得主:微软研究院的首席研究员Leslie Lamport。ACM的新闻稿说,Leslie Lamport在分布式和并发系统的理论实践上作出了重要贡献,提出了因果律、逻辑时钟、状态机复制和顺序一致性等概念。Lamport在MIT获得学士学位,在Brandeis大学获得数学硕士和博士学位,先后在麻省计算机协会、斯坦福国际研究所、DEC和康柏工作过,2001年加入微软加州山景城研究院。他是著名的排版系统LaTeX的作者,拜占庭错误冗余和Paxos算法的提出者,2000年获得了Dijkstra 奖,2012年获得冯诺依曼奖。This entry passed through the Full-Text RSS service — if this is your content and you're reading it on someone else's site, please read the FAQ at fivefilters.org/content-only/faq.php#publishers.



You are receiving this email because you subscribed to this feed at https://blogtrottr.com

If you no longer wish to receive these emails, you can unsubscribe here:
https://blogtrottr.com/unsubscribe/cz0/jPbdSR

没有评论:

发表评论

博客归档