Odcinek

Leslie Lamport Wybrany jako 2013 ACM ACM A.M. Turing Award Winner

Leslie Lamport z Microsoft Research jest nagradzany za jego wybitny wkład w informatykę z 2013 ACM A.M. Turing Award. Lamport jest dobrze znany informatykom na całym świecie za podstawową pracę w przetwarzaniu rozproszonym, w tym tworzenie algorytmu Paxos do implementowania systemów rozproszonych odpornych na błędy. Jego 1978 papier Time, Clocks i Ordering of Events in a Distributed System jest jednym z najbardziej cytowanych w historii informatyki. Ogromny wkład Lamporta przyczyniły się do poprawy poprawności, wydajności i niezawodności systemów komputerowych używanych obecnie na całym świecie.