| Leslie Lamport | |||||
|---|---|---|---|---|---|
 | |||||
| Persona informo | |||||
| Leslie Lamport | |||||
| Naskiĝo | 7-an de februaro 1941 (83-jaraĝa) en Nov-Jorko | ||||
| Lingvoj | angla vd | ||||
| Ŝtataneco | Usono vd | ||||
| Alma mater | Masaĉuseca Instituto de Teknologio • Universitato Brandeis • The Bronx High School of Science vd | ||||
| Profesio | |||||
| Okupo | matematikisto • komputosciencisto • programisto • inĝeniero • verkisto vd | ||||
| Laborkampo | komputiko • disa komputado 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 | ||||
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
- ↑ Vivdatumoj laŭ American Men and Women of Science, Thomson Gale 2004
- ↑ https://amturing.acm.org/award_winners/lamport_1205376.cfm
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.