19. marts 2014

Leslie Lamport wins Turing Award

The A.M. Turing Award, named after Alan Turing, one of the pioneers of early computer science and a name every computer scientist should know, has just been awarded to microsoft researcher Leslie Lamport.

The Association for Computing Machinery (ACM) rewarded Leslie Lamport for his "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".

His work has impact on a range of subjects in computer science, including security, cloud computing, embedded systems and database systems.