Communications of the ACM
How to Write Software with Mathematical Perfection
"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