LIMSwiki

Leslie Lamport
Persona informo
Leslie Lamport
Naskiĝo	7-an de februaro 1941 (1941-02-07) (83-jaraĝa) en Nov-Jorko
Lingvoj	angla vd
Ŝtataneco	Usono vd
Alma mater	Masaĉuseca Instituto de Teknologio - matematiko Universitato Brandeis - matematiko The Bronx High School of Science (en) vd
Profesio
Okupo	matematikisto inĝeniero programisto komputosciencisto verkisto vd
Laborkampo	Komputiko kaj disa komputado vd
Doktoreca konsilisto	Richard Palais vd
Verkado
Verkoj	disa komputado ❦ LaTeX ❦ TLA⁺ ❦ tempa logiko de agoj ❦ Paxos vd
Honorigoj Honorigoj (2014)  Premio Dijkstra (2014)  ACM Fellow (en) (2013)  Premio Turing (2008)  IEEE John von Neumann Medal (en) (2007, 2006)  honora doktoreco Premiata de Universitato de Nancy I, Universitato de Itala Svislando (2005)  Premio Dijkstra (2004)  IEEE Emanuel R. Piore Award (en) (2004)  honorary doctor of the École polytechnique fédérale de Lausanne (en) (2003)  honorary doctor of the University of Rennes I (en) (2003)  honorary doctor at Christian-Albrechts-Universität zu Kiel (en) (2000)  Premio Dijkstra  honorary doctor of the École polytechnique fédérale de Lausanne (en) vd
Membrecoj Membrecoj Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (2015–) Usona Nacia Akademio de Sciencoj (2011–) Usona Akademio de Artoj kaj Sciencoj vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj
v • d •

Leslie LAMPORT (naskiĝis la 7-an de februaro 1941 en Nov-Jorko, Usono^[1]) estas usona matematikisto kaj scienculo de la komputado. Li estas speciale konata de liaj laboroj en sistemoj distribuitaj kaj por esti la komenca evoluiganto de la sistemo de formateo de tekstoj LaTeX, kaj de BibTeX. Li estis gajnanto de la Premio Turing^[2] de 2013 por siaj laboroj por postuli koherecon sur la ŝajna kaosa konduto de la sistemoj distribuitaj, en kiuj pluraj komputiloj komunikas sin per mekanismo pase de mesaĝoj. En lia laboro dezajnis algoritmojn, formalajn modelojn kaj protokolojn de verificación kiuj plibonigas la korekton, efikecon kaj sekurecon de koncernaj sistemoj distribuitaj.