What is Computation -- Dr. Leslie Lamport, Microsoft

Prof. Leslie Lamport is an American computer scientist. A graduate of the Bronx High School of Science, he received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972.[1] His dissertation was about singularities in analytic partial differential equations.[2] Lamport is best known for his seminal work in distributed systems and as the initial developer of the document preparation system LaTeX.[3]
Professionally, Lamport worked as a computer scientist at Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, and Compaq. In 2001 he joined Microsoft Research at Mountain View, California.