Specifying Systems

Leslie Lamport, informaticien, est reconnu pour ses contributions au calcul concurrent et aux systèmes distribués. Son article « Time Clocks and the Ordering of Events in a Distributed System » a été salué pour son influence durable dans le domaine. Lamport est également connu pour avoir créé le système de composition LaTeX et l'ouvrage à succès « LaTeX Second Edition » qui le documente (Addison-Wesley, 1994). Actuellement chez Microsoft Research à Mountain View, en Californie, il a débuté ses travaux sur TLA+ au Digital Systems Research Center (devenu Compaq) à Palo Alto. Titulaire d'un doctorat en mathématiques de l'université Brandeis, Lamport est membre de la National Academy of Engineering.