acm-header
Sign In

Communications of the ACM

ACM Opinion

How to Write Software with Mathematical Perfection


2013 ACM A.M. Turing Award recipient Leslie Lamport.

"The importance of thinking and writing before you code needs to be taught in undergraduate computer science courses and it's not." -Leslie Lamport

Credit: Talia Herman/Quanta Magazine

Leslie Lamport may not be a household name, but he is behind a few of them for computer scientists: the typesetting program LaTeX and the work that made cloud infrastructure at Google and Amazon possible. He has also brought more attention to a handful of problems, giving them distinctive names like the bakery algorithm and the Byzantine Generals Problem. The 81-year-old computer scientist is unusually thoughtful about how people use and think about software.

In an interview, Lamport discusses his work on distributed systems, what is wrong with computer science education, and how using TLA+ can help programmers build better systems.

From Quanta Magazine
View Full Article


 

No entries found