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.