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."

This cool button delivers CIO stories to you on Facebook:

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.

Connecting the dots, connecting the world: Jim McKelvey, Square at NASSCOM 2016

Close on the heels of an IPO, CEO of mobile payments company, Square and LaunchCode, Jim McKelvey, in a session a NASSCOM 2016 ILF, said connecting science and arts with the business world is the new age, new route to go. 

CMOs needs to be data-driven, says James McQuivey, Forrester

The role of the CMO was traditionally marketing-oriented only. With the advent of technology, today’s CMO is a data jockey who needs to know his customer better, says James McQuivey, VP and principal analyst with Forrester, at NASSCOM 2016.

Will robots do your job? Global IT leaders debate at NASSCOM 2016

During an interactive discussion at NASSCOM 2016, global IT leaders attempt to answer a vital question--are we going to be replaced by robots?