Leslie Lamport

Membrecoj
Membrecoj	Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (2015–); Usona Nacia Akademio de Sciencoj (Membro de la Nacia Akademio de Sciencoj de Usono) (2011–); Nacia Akademio de Inĝenierio (1991–); Usona Akademio de Artoj kaj Sciencoj 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 of the Christian Albrechts University of Kiel (en) ; (2000) Premio Dijkstra; honorary doctor of the École polytechnique fédérale de Lausanne (en) ; vd

**Leslie Lamport**
Leslie Lamport
Persona informo
	Leslie Lamport
Naskiĝo	7-an de februaro 1941 (85-jaraĝa); en Nov-Jorko
Lingvoj	angla vd
Ŝtataneco	Usono vd
Alma mater	Masaĉuseca Instituto de Teknologio - matematiko ; Universitato Brandeis - matematiko ; Bronx High School of Science (mul) 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 of the Christian Albrechts University of 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 (Membro de la Nacia Akademio de Sciencoj de Usono) (2011–); Nacia Akademio de Inĝenierio (1991–); Usona Akademio de Artoj kaj Sciencoj vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj
	v • d • r

Leslie LAMPORT (naskiĝis la 7-an de februaro 1941 en Nov-Jorko, Usono^[1]) estas usona matematikisto kaj fakulo pri komputado. Li estas speciale konata pro siaj laboroj pri distribuitaj sistemoj kaj ĉar li estis la komenca evoluiganto de la sistemo de formateo de tekstoj LaTeX de BibTeX. Li estis gajninto de la Premio Turing^[2] de 2013 pro siaj laboroj por postuli koherecon sur la ŝajna ĥaosa konduto de la distribuitaj sistemoj, en kiuj pluraj komputiloj komunikas inter si per mesaĝoj. En sia laboro li kreis algoritmojn, formalajn modelojn kaj kontrolajn protokolojn, kiuj plibonigas la ĝustecon, efikecon kaj sekurecon de koncernaj distribuitaj sistemoj.

Referencoj

↑ Vivdatumoj laŭ American Men and Women of Science, Thomson Gale 2004
↑ https://amturing.acm.org/award_winners/lamport_1205376.cfm

Leslie Lamport en la Vikimedia Komunejo (Multrimedaj datumoj)
Kategorio Leslie Lamport en la Vikimedia Komunejo (Multrimedaj datumoj)

Bibliotekoj

[1] Vivdatumoj laŭ American Men and Women of Science, Thomson Gale 2004

[2] ttps://amturing.acm.org/award_winners/lamport_1205376.cfm

[1]

[2]