Leslie Lamport

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaLeslie Lamport
Leslie Lamport.jpg
Modifica el valor a Wikidata
Biografia
Naixement7 febrer 1941 Modifica el valor a Wikidata (79 anys)
Nova York Modifica el valor a Wikidata
Dades personals
FormacióInstitut de Tecnologia de Massachusetts . matemàtiques
Universitat de Brandeis . matemàtiques
The Bronx High School of Science Modifica el valor a Wikidata
Activitat
Director de tesiRichard Palais Modifica el valor a Wikidata
Camp de treballCiències de la computació Modifica el valor a Wikidata
OcupacióMatemàtic, informàtic, programador, enginyer i escriptor Modifica el valor a Wikidata
OcupadorMicrosoft Research (2001–)
Digital Equipment Corporation (1985–2001)
SRI International (1977–1985)
Mitre Corporation (en) Tradueix (1962–1965) Modifica el valor a Wikidata
Membre de
Obra
Obres destacables

Lloc weblamport.org Modifica el valor 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]

  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]

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Leslie Lamport