Nobel Prize in Computing goes to distributed computing wrangler Leslie LamportMar 19, 2014, 05:00 (0 Talkback[s])
(Other stories by Bob Brown)
WEBINAR: On-demand Event
Replace Oracle with the NoSQL Engagement Database: Why and how leading companies are making the switch REGISTER >
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)