Leslie Lamport
Etoso
Leslie LAMPORT(naskiĝis la7-an de februaro1941enNov-Jorko,Usono[1]) estasusonamatematikisto kaj scienculo de la komputado. Li estas speciale konata de liaj laboroj ensistemoj distribuitajkaj por esti la komenca evoluiganto de la sistemo de formateo de tekstojLaTeX,kaj de BibTeX. Li estis gajnanto de laPremio 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]- ↑Vivdatumoj laŭAmerican Men and Women of Science,Thomson Gale 2004
- ↑https://amturing.acm.org/award_winners/lamport_1205376.cfm
|