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.

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 Redakti la valoron en Wikidata vd
Alma mater Masaĉuseca Instituto de Teknologio - matematiko
Universitato Brandeis - matematiko
The Bronx High School of Science (en) Traduki Redakti la valoron en Wikidata vd
Profesio
Okupo matematikisto
inĝeniero
programisto
komputosciencisto
verkisto Redakti la valoron en Wikidata vd
Laborkampo Komputiko kaj disa komputado Redakti la valoron en Wikidata vd
Doktoreca konsilisto Richard Palais vd
Verkado
Verkoj disa komputado ❦
LaTeX ❦
TLA⁺ ❦
tempa logiko de agoj ❦
Paxos vd
En TTT Oficiala retejo vd
vd Fonto: Vikidatumoj
vdr

Referencoj redakti

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