Linux Today: Linux News On Internet Time.
Search Linux Today
Linux News Sections:  Developer -  High Performance -  Infrastructure -  IT Management -  Security -  Storage -
Linux Today Navigation
LT Home
Contribute
Contribute
Link to Us
Linux Jobs


Top White Papers

More on LinuxToday


Nobel Prize in Computing goes to distributed computing wrangler Leslie Lamport

Mar 19, 2014, 05:00 (0 Talkback[s])
(Other stories by Bob Brown)

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

Complete Story

Related Stories: