Leslie Lamport
Z Wikipedii
Leslie Lamport (ur. 1941) - amerykański informatyk.
Kariera naukowa:
- 1960 - B.S. (Bachelor's degree) z matematyki na Massachusetts Institute of Technology
- 1963 - M.A. (Master's degree) również z matematyki na Brandeis University
- 1972 - Ph.D.(Doctor of Philosophy)
W informatyce jest najbardziej znany z prac nad logiką temporalną. Ponadto jest znany jako twórca i propagator systemu składu tekstu LaTeX.
Obecnie pracuje dla Microsoft Research.