Leslijs Lemports

Leslijs Lemports; Leslie Lamport
Personīgā informācija
Dzimis	1941. gada 7. februārī (83 gadi); Ņujorka, ASV
Pilsonība	ASV
Zinātniskā darbība
Zinātne	Datorzinātne
Darba vietas	Microsoft Research; Compaq; Digital Equipment Corporation; SRI International;
Alma mater	Masačūsetsas Tehnoloģiju institūts (BSc); Brendaisa Universitāte (PhD);
Sasniegumi, atklājumi	LaTeX; Sekvenciālā konsistence; Paksosas algoritms; Lemporta paraksts;
Apbalvojumi	Deikstras balva (2000, 2005); Tjūringa balva (2013);

Leslijs Lemports (angļu: Leslie B. Lamport; dzimis 1941. gada 7. februārī Ņujorkā) ir amerikāņu datorzinātnieks. Lemports ir vislabāk zināms ar savu radošo darbību dalītajās sistēmās un kā sākotnējais dokumentu sagatavošanas LaTeX izstrādātājs.^[1] Lemports 2013. gadā saņēma Tjūringa balvu^[2] par skaidru, labi definētu sakarību noteikšanā šķietami haotiskā dalīto sistēmu uzvedībā, kurā vairāki autonomi datori sazinās viens ar otru ar ziņojumu palīdzību. Viņš izstrādāja svarīgus algoritmus, formālus modeļus un pārbaudes protokolus, kuri uzlaboja reālu dalīto sistēmu kvalitāti. Šis ieguldījums ir devis uzlabotu datorsistēmu pareizību, ātrdarbību un uzticamību.

Atsauces

↑ Leslie Lamport. LaTeX: A Document Preparation System. Addison-Wesley, 1986. ISBN 0-201-15790-X. Skatīts: 2007-02-02.
↑ Leslie Lamport. «Leslie Lamport - A.M. Turing Award Winner». ACM, 2013.

Šī zinātnieka biogrāfija ir nepilnīga. Jūs varat dot savu ieguldījumu Vikipēdijā, papildinot to.

[1] Leslie Lamport. LaTeX: A Document Preparation System. Addison-Wesley, 1986. ISBN 0-201-15790-X. Skatīts: 2007-02-02.

[2] Leslie Lamport. «Leslie Lamport - A.M. Turing Award Winner». ACM, 2013.

[1]

[2]