2013图灵奖获得者Leslie Lamport！
作者 陈怀临 | 2014-03-21 20:45 | 类型 计算的美丽 | Comments Off
|
3月18日，美国ACM协会宣布在微软硅谷研究所的Leslie Lamport获得2013年计算机界最高成就奖－图灵奖！这也是就职于微软研究所的科学家获得的第5个图灵奖！他们分别是： Chuck Thacker (2009), Jim Gray (1998), Butler Lampson (1992) and Tony Hoare (1980）
其中， Jim Gray就是在2007年1月28日，在旧金山出海时失踪的数据库方面的顶尖科学家。 ACM对Lamport获奖的官方评价是： “For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.”
这个评价很学术。大概意思是： 在分布式系统中，许多事件是离散的。Lamport同学在1978年（中国人民打倒了四人帮？）的时候，就在某一天，随意的写了一篇文章叫做“Time, Clocks, and the Ordering of Events in Pokies a Distributed System”。 从此，世界上的人们知道了什么是因果，什么是并发。。。。。
Lamport同学今天在得知自己获奖后，是这样的感慨的： “During my career I have had the privilege and the benefit of working in some way with about a dozen Turing award winners, including Chuck Thacker, Butler Lampson, Jim Gray, Tony Hoare, Amir Pnueli, and Edsger Dijkstra. I feel greatly honored to have been deemed worthy of joining such a group of brilliant computer scientists.”
大概意思是： 终于轮到我了。。。 | |
 (1个打分， 平均：5.00 / 5) |
