Leslie Lamport se licenció en matemáticas en 1960 en el MIT (Massachusetts Institute of Technology).