Nobel Prize in Computing goes to distributed computing wrangler Leslie LamportMar 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."
0 Talkback[s] (click to add your comment)