What an amusing coincidence, I didn't know Lamport wrote LaTeX, rather I knew of him only in connection with Lamport clocks.

"(La)Tex" is believed to expand to "(Lamport)TeX" although I haven't seen an official source for that trivia :-)