Leslie Lamport

AllImages News Videos Maps Shopping Books

Search tools

American computer scientist and mathematician � lamport.org

upload.wikimedia.org/wikipedia/commons/5/50/Leslie...

Leslie Lamport | Turing Award, Biography, & Facts | Britannica

Leslie Lamport: Thinking Above the Code - YouTube

View all

Leslie B. Lamport is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Wikipedia

Born: 1941 (age 83�years), New York, NY

Awards: Turing Award, Dijkstra Prize, IEEE John von Neumann Medal, and more

Education: Massachusetts Institute of Technology, Brandeis University, and The Bronx High School of Science

Doctoral advisor: Richard Palais

Fields: Computer science

Thesis: The analytic Cauchy problem with singular data (1972)

Books

Latex Document Preparation System Users

1984

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

2003

Bunsho shori shisutemu LATEX 2 ipushiron

1999

Distributed Systems: Methods and Tools for Specification. An Advanced Course

1985