Leslie LamportLeslie Lamport is best known as the developer of LaTeX. Lamport received a B.S from the Massachusetts Institute of Technology in mathematics in 1960. He also earned M.A and Ph.D degrees from Brandeis University in 1963 and 1972, both also in mathematics. Lamport also formulated the happened-before relationship relevant to logical clocks in distributed systems.
He currently works for Microsoft Research.