Leslie Lamport (Nova York, 1941) és un informàtic i matemàtic estatunidenc. És especialment conegut per haver creat el sistema LaTeX.
Lamport estudià matemàtiques al MIT i a la universitat de Brandeis. Dins del camp de la informàtica és reconegut pel seu treball en algorítmica distribuïda i en lògica temporal, on introduí la Lògica d'Accions Temporal (Temporal Logic of Actions, TLA). També formulà la relació "ha passat abans" (happened before), important en rellotges lògics en sistemes distribuïts, ja que permet obtenir una ordenació parcial.
Referències
Enllaços externs
Lamport,Leslie Lamport,Leslie Categoria:Premiats amb el Premi Turing Categoria:Alumnes de l'Institut de Tecnologia de Massachusetts Categoria:Alumnes de The Bronx High School of Science Categoria:Alumnes de la Universitat de Brandeis Categoria:Doctors honoris causa per l'École polytechnique fédérale de Lausanne Categoria:Doctors honoris causa per la Universitat Christian Albrecht de Kiel Categoria:Empleats de Microsoft Categoria:Matemàtics del segle XXI Categoria:Matemàtics nascuts al segle XX Categoria:Nascuts el 1941