Leslie Lamport prejel Turingovo nagrado

Leslie Lamport iz Microsoft Research prejme letošnjo Turingovo nagrado, ki jo podeljuje ACM (Association for Computing Machinery) in velja za ekvivalent Nobelove nagrade v računalništvu. Lamport prejme nagrado za pomembne prispevke k teoriji in praktično uporabi sistemov za distribuirano računanje. Pomembni koncepti, ki jih je vpeljal, obsegajo vzročnost (causality), logične ure (logical clocks), varnost in živost (safety and liveness), RSM (replicated state machines) in sekvenčno konsistentnost (sequential cansistency).

Lamport je po izobrazbi matematik z diplomo z MIT-a in doktoratom Univerze Brandeis, zaposlen pa je v Microsoft Research. Večino dela, za katerega se podeljuje nagrada, je opravil v 80. in 90. letih prejšnjega stoletja, preden se je pridružil Microsoftu.

Eden izmed največkrat citiranih člankov v računalništvu je prav njegov Time, Clocks, and the Ordering of Events in a Distributed System. V njem se ukvarja s problemom urejenosti dogodkov v distribuiranih sistemih, ko ni tako preprosto ugotoviti, kateri dogodek se je zgodil prej, in obratno, to je zagotoviti, da se nek dogodek zgodi pred drugim. Poleg tega je Lamport k računalništvu prispeval na področju problema bizantinskih generalov, jezika TLA+ in pa LaTeXa.