Leslie Lamport

Leslie LAMPORT (naskiĝis la  en Nov-Jorko, UsonoVivdatumoj laŭ , Thomson Gale 2004) 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 Turinghttps://amturing.acm.org/award_winners/lamport_1205376.cfm 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 

Kategorio:TeX
Kategorio:Turing-Premiitoj
Kategorio:Usonaj informoteoriistoj
Kategorio:Usonaj komputikistoj