Leslie Lamport

Leslie Lamport is a research scientist for Microsoft Corporation. He won the 2013 Turing Award, considered the "Nobel Prize of computer science." He is also the author of the LaTeX document. 

Leslie Lamport has given a Public Lecture for the Stanford MRC: programming ≠ coding (2024)