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