Leslie Lamport

De Viquipèdia
Dreceres ràpides: navegació, cerca
Simpleicons Interface user-outline.svgLeslie Lamport
Leslie Lamport.jpg
Naixement 7 de febrer de 1941
Nova York
Alma mater Massachusetts Institute of Technology
Ocupació matemàtic, informàtic, programador, enginyer i escriptor
Obres notables Aplicació distribuïda
Premis Dijkstra Prize
IEEE John von Neumann Medal
Premi Turing
IEEE Emanuel R. Piore Award

Lloc web www.lamport.org/
Modifica dades a Wikidata

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.[1][2][3]

Referències[modifica | modifica el codi]

  1. Lamport, L. «Time, clocks, and the ordering of events in a distributed system». Communications of the ACM , 21, 7, 1978, pàg. 558–565. DOI: 10.1145/359545.359563.
  2. Savage, N. «General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended». Communications of the ACM, 57, 6, 2014, pàg. 22. DOI: 10.1145/2601076.
  3. Hoffmann, L. «Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems». Communications of the ACM, 57, 6, 2014, pàg. 112. DOI: 10.1145/2601077.

Enllaços externs[modifica | modifica el codi]

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Leslie Lamport Modifica l'enllaç a Wikidata