Distributed Computing Don Leslie Lamport wins Turing Award

Distributed Computing Don Leslie Lamport wins Turing Award

Leslie Lamport, a Microsoft Research principal, has been named the winner of the 2013 ACM A.M. Turing Award, also known as the "Nobel Prize in Computing."

Leslie Lamport, a Microsoft Research principal, has been named the winner of the 2013 ACM A.M. Turing Award, also known as the "Nobel Prize in Computing."

The computer scientist was recognized by the Association for Computing Machinery for "imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages."

+Also on NetworkWorld: Why there's no official Nobel Prize in Computing  | Whirlwind tour of technology's major awards, honors and prizes  +

His algorithms, models and verification systems have enabled distributed computer systems to play the key roles they're used in throughout the data center, security and cloud computing landscapes.

The award includes a $250,000 prize, with funding support by Intel and Google.

ACM President Vint Cerf, in a statement, noted that "as an applied mathematician, Leslie Lamport had an extraordinary sense of how to apply mathematical tools to important practical problems. By finding useful ways to write specifications and prove correctness of realistic algorithms, assuring a strong foundation for complex computing operations, he helped to move verification from an academic discipline to a practical tool."

Specifically, Lamport's claims to fame include the notion of Byzantine failure, temporal logic language (TLA+) and LaTex, a document preparation system used in computer science and other fields. Lamport's 1978 paper "Time, Clocks, and the Ordering of Events in a Distributed System" - is one of computer science's most highly cited.

Here's a video of Lamport in action, discussing what computation is: https://www.youtube.com/watch?v=BDPHfRuAFnU

Before joining Microsoft in 2001, Lamport worked for numerous companies, including SRI International and Digital Equipment Corp. (later Compaq). He earned a B.S. degree in mathematics from the Massachusetts Institute of Technology and an M.S. and Ph.D. in mathematics from Brandeis University.

The Turing Award is the latest in a long line of honors bestowed upon Lamport, who has also received the IEEE Emanuel R. Piore Award for his contributions to the theory and practice of concurrent programming and fault-tolerant computing and the IEEE John von Neumann Medal. He has about 150 publications to his name on concurrent and distributed computing.

ACM will present the 2013 A.M. Turing Award at its annual Awards Banquet on June 21 in San Francisco.  Last year's Turing Award went to a pair of MIT crypto experts

Read more about data center in Network World's Data Center section.

Gartner: By 2018, half the business ethics violations will be due to improper use of Big Data analytics

Failure to properly understand and mitigate the risks can have a number of unintended and highly impactful consequences such as loss of reputation, limitations in business operations, losing out to competitors, inefficient or wasted use of resources, and even legal sanctions, says Gartner.

The programmable economy could disrupt the global economy: Gartner

The far-reaching technology-driven transformation, nicknamed the programmable economy, has the potential to disrupt virtually every facet of the global economy, according to independent analyst company, Gartner.

Businesses want to accelerate digital transformation: CA Technologies

Businesses are moving at the speed of light to leapfrog their competition and accelerate digital transformation of their organisation, according to a study by IT management software company, CA Technologies.