What a great man, Lamport. I was astonished by his work Paxos[1] studied in Distributed Systems class.

[1] http://research.microsoft.com/en-us/um/people/lamport/pubs/l...