ACM A.M. napisał w uzasadnieniu, że nagroda została przyznana za "klarowne zdefiniowanie zależności zachodzących między poszczególnymi elementami wchodzących w skład rozproszonych systemów obliczeniowych, w których autonomiczne systemy komputerowe utrzymują ze sobą kontakt poprzez wzajemne przekazywanie sobie różnego rodzaju wiadomości”.

Leslie Lamport jest twórcą algorytmów, modeli i systemów weryfikacyjnych, dzięki którym rozproszone systemy obliczeniowe (razem z wchodzącymi w ich skład komputerami) zaczęły odgrywać kluczową rolę w centrach danych i chmurach obliczeniowych, wzmacniając jednocześnie ich bezpieczeństwo pracy.

Nagroda (wynosząca 250 tys. USD) została ufundowana przez dwie wiodące firmy działające w przemyśle IT: Intel i Google. Vint Cerf (stojący na czele Association for Computing Machinery) napisał w krótkim oświadczeniu opublikowanym po przyznaniu nagrody, że "uznany matematyk (jakim jest Leslie Lamport) pokazał, jak matematyka może rozwiązywać ważne i praktyczne problemy. Potrafił dowieść, że problemy takie można rozwiązać stosując konkretne algorytmy, które opisują pracę złożonych operacji obliczeniowych. Dowiódł też, że teoretyczne i akademickie prace naukowe mogą posłużyć do opracowania praktycznych narzędzi IT".

Lamport ma szczególne zasługi w takich obszarach czy też dziedzinach IT, jak LaTex (specjalistyczne oprogramowanie do zautomatyzowanego składania tekstu), TLA+ (język programowania) czy wyjaśnienia zjawiska określanego mianem „Byzantine failure” (problem tzw. bizantyjskich awarii). Szczególne cenne jest opracowanie noszące nazwę "Time, Clocks, and the Ordering of Events in a Distributed System", które odgrywa kluczową rolę w badaniach związanych z analizowaniem pracy rozproszonych systemów IT.

Zanim Lamport przystąpił do Microsoftu (co miało miejsce w 2001 r.). pracował w kilku firmach (w tym w SRI International i Digital Equipment Corporation; późniejszy Compaq). Tytuł B.S. w dziedzinie matematyki (Bachelor of Science.) zdobył na Massachusetts Institute of Technology, a doktorat w tej dziedzinie uzyskał na Brandeis University.

Przed przyznanie mu nagrody 2013 ACM A.M. Turing Award, Lamport został uhonorowany nagrodą IEEE Emanuel R. Piore Award (za prace w dziedzinie równoległego przetwarzania danych oraz budowaniu systemów obliczeniowych odpornych na awarie). Jest też laureatem nagrody IEEE John von Neumann Medal.

Oficjalna uroczystość przyznania nagrody ACM 2013 A.M. Turing Award będzie miała miejsce w tym roku 21-go czerwca w San Fracisco. Warto jeszcze na koniec przypomnieć, że zeszłoroczna nagroda ACM została przyznana dwóm ekspertom z MIT za pracę z dziedziny szyfrowania danych.