Leslie Lamport

En su trabajo ha diseñado algoritmos, modelos formales y protocolos de verificación que mejoran la corrección, eficiencia y seguridad de dichos sistemas distribuidos.[2]​[3]​[4]​ Leslie Lamport se licenció en matemáticas en 1960 en el MIT (Massachusetts Institute of Technology).También cursó un máster (1963) y un doctorado (1972) en la Universidad de Brandeis, ambos en matemáticas.Formuló la relación «happened before» (‘ocurrido antes’), importante en relojes lógicos de sistemas distribuidos, ya que permite obtener una ordenación parcial, con la que obtiene en el año 2000 el Premio Dijkstra.Esta firma se aplica sobre mensajes sin efectuar ninguna modificación previa de ellos.