En el campo de las ciencias de la computación, Lamport es reconocido por su trabajo en algorítmica distribuida y en lógica temporal, en la cual introdujo la lógica de acciones temporal (Temporal Logic of Actions, TLA).