Leslie Lamport

Leslie Lamport

Author of LaTeX, Researcher @ Microsoft

Dr. Lamport received a doctorate in mathematics from Brandeis University.  An unlikely chain of events led to his current position as distinguished researcher at Microsoft.

Dr. Lamport's initial research in concurrent algorithms made him well-known as the author of LaTeX, a document formatting system for the ever-diminishing class of people who write formulas instead of drawing pictures.  

He has received five honorary doctorates from European universities, but has always returned home to Palo Alto.  This display of patriotism was rewarded with membership in the National Academy of Engineering, the National Academy of Sciences, and the American Academy of Arts and Sciences--as well as an honorary doctorate from Brandeis.

Dr. Lamport now annoys computer scientists and engineers by urging them to understand an algorithm or system before implementing it, and scares them by saying they should use mathematics.  In a vain attempt to get him to talk about other things, the ACM gave him the 2013 Turing Award.

Past Activities

Leslie Lamport
Code Mesh V
06 Nov 2020
20.40 - 21.15

Ask the expert - Thinking Mathematically Above The Code Level