leslie lamport - Wikilingue - Encydia
PhD. Leslie Lamport (naskiĝita en 1941) estas computólogo usona. Estas speciale konita por esti la desarrollador komenca de la sistemo de formateo de tekstoj LaTeX, kaj de BibTeX.
Leslie Lamport licenció en matematikoj en 1960 en la MIT (Massachusetts Institute of Technology). Ankaŭ cursó máster (1963) kaj doctorado (1972) en la Universitato de Brandeis, ambaŭ en matematikoj.
En la kampo de la sciencoj de la komputado, Lamport estas rekonita de lia laboro en algorítmica distribuita kaj en logika temporal, en kiu enkondukis la logikon de agoj temporal (Temporal Logic of Actions, TLA). Ĝi formulis la rilaton "okazita antaŭe" (happened before), grava en logikaj horloĝoj de sistemoj distribuitaj, pro tio ke ĝi permesas akiri ordigon parcial. Ĝi ankaŭ enkondukis la algoritmon de la bakejo de Lamport por reciproka forigo de multnombraj fadenoj en komputilo kiun postulas la samaj rimedoj al la sama tempo.
Nuntempe, ĝi laboras por Microsoft Research.
Eksteraj ligoj
Wikimedia Commons gastigas plurmedian enhavon sur Leslie Lamport.Commons
- Paĝo retejo de Leslie Lamport
- Paĝo retejo de Microsoft Research
