2013 Turing Award winner Leslie Lamport

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Leslie Lamport of Microsoft Research is rewarded for his outstanding contributions to computer science with the 2013 ACM A.M. Turing Award. Lamport is well known to computer scientists around the world for his foundational work in distributed computing, including the creation of the Paxos algorithm for implementing fault-tolerant distributed systems. 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. Lamport’s immense contributions have resulted in improved correctness, performance, and reliability of computer systems used around the world today.Education

• B.S. -- M.I.T., 1960. (Mathematics)
• M.A. -- Brandeis University, 1963. (Mathematics)
• Ph.D. -- Brandeis University, 1972. (Mathematics)
  

Employment

• Mitre Corporation (part-time, 1962-1965)
• Marlboro College (1965-1969)
• Massachusetts Computer Associates (1970-1977)
• SRI International (1977-1985)
• Digital Equipment Corporation / Compaq (1985-2001)
• Microsoft Research (2001-present)
  

Honors

• National Academy of Engineering (1991)
• PODC Influential Paper Award (2000) (for paper [27])
• Honorary Doctorate, University of Rennes (2003)
• Honorary Doctorate, Christian Albrechts University, Kiel (2003)
• Honorary Doctorate, Ecole Polytechnique Fédérale de Lausanne (2004)
• IEEE Piore Award (2004)
• Edsger W. Dijkstra Prize in Distributed Computing (2005) (for paper [41])
• Honorary Doctorate, Università della Svizzera Italiana, Lugano (2006)
• ACM SIGOPS Hall of Fame Award (2007) (for paper [27])
• Honorary Doctorate, Université Henri Poincaré, Nancy (2007)
• LICS 1988 Test of Time Award (2008) (for paper [92])
• IEEE John von Neumann Medal (2008)
• National Academy of Sciences (2011)
• ACM SIGOPS Hall of Fame Award (2012) (for paper [122])
• Jean-Claude Laprie Award in Dependable Computing (2013) (for paper [46])
• ACM SIGOPS Hall of Fame Award (2013) (for paper [66])
  

179 papers lists can be seen http://research.microsoft.com/en ... bs.html#time-clocks
Source：http://research.microsoft.com/apps/video/default.aspx?id=210551

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Turing Leslie Winner award Inner Leslie computing Microsoft including computer

gyqznufe 发表于 2014-3-27 14:01
Leslie Lamport of Microsoft Research is rewarded for his outstanding contributions to computer scien ...

我第一印象便是LaTeX

Congrats