Ref.: Leslie Lamport - Wikipedia, the free encyclopedia
The ACM also recognized Lamport for devising “important algorithms” and developing “formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance and reliability of computer systems.”
Lamport, 73, is a legend in computing circles, known for many contributions, including his foundational work in the theory of distributed computing. His 1978 paper “Time, Clocks, and the Ordering of Events in a Distributed System” is one of the most cited in the history of computer science. He becomes the fifth scientist from Microsoft Research to have won the Turing Award, joining previous recipients Tony Hoare (1980), Butler Lampson (1992), Jim Gray (1998) and Chuck Thacker (2009).
台灣很少人提到這件事. 這個獎不過本來就冷門, 而且最近台灣自己又有服貿協議的政治活動, 大概沒人注意吧. 我只有一個朋友在 Facebook 上提到這件事. 讓我意外的是, 連外國的 CS Blogs 上好像也沒啥人關注.