Leslie Lamport

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo
Leslie Lamport
Leslie Lamport.jpg
Persona informo
Leslie Lamport
Naskiĝo 7-an de februaro 1941 (1941-02-07) (81-jara)
en Novjorko
Lingvoj angla [#]
Ŝtataneco Usono [#]
Alma mater Masaĉuseca Instituto de TeknologioUniversitato Brandeis • The Bronx High School of Science [#]
Profesio
Okupo matematikisto • komputikistoprogramistoinĝenieroverkisto [#]
Laborkampo komputikodisa komputado [#]
Doktoreca konsilisto Richard Palais [#]
Verkado
Verkoj disa komputado ❦
LaTeX ❦
TLA⁺ ❦
tempa logiko de agoj ❦
Paxos [#]
En TTT Oficiala retejo [#]
[#] Fonto: Vikidatumoj
Wikidata-logo.svg
Information icon.svg
vdr

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.

Referencoj[redakti | redakti fonton]

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