Interview with Leslie Lamport Blog post actions Print fmg Monday May 6, 2024 Leslie Lamport is a pioneer of distributed computer systems. He is also known for inventing LaTeX and TLA+ (Temporal Logic of Actions). Mathematics was his guide. The Man Who Revolutionized Computer Science With Math Quanta Magazine May 17, 2022 https://www.youtube.com/watch?v=rkZzg7Vowao 7m49s
