Linux Today: Linux News On Internet Time.

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: