School of Information Science - Hall of Fame
- Leslie Lamport
- Born: Unknown
- Field: Computer science
- Focus: Developed theories of temporal logic. Developed the LaTex typesetting system.
- Country: United States
- Era: 1970 to 1989
Leslie Lamport is best known for his work on temporal logic. This is a logic for specifying and reasoning about concurrent and reactive systems. He also formulated the happened before relationship relevant to logical clocks in distributed systems.
Lamport is also the initial developer of LaTeX. LaTeX is a typesetting system designed for the production of technical and scientific documentation. In encourages users to worry about the content of their work and not to worry about the appearance of it. LaTeX is free; however, the computer where it is to be installed must be running the TeX typesetting system developed by Donald Knuth. Lamport is currently at Microsoft Research.