Leslie-Lamport
Leslie-Lamport is a distinguished American computer scientist and mathematician, widely recognized for his foundational contributions to the field of Distributed-Systems. He is the recipient of the 2013 A.M.-Turing-Award, often referred to as the 'Nobel Prize of Computing,' for his work in imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems. His research has provided the theoretical backbone for how multiple computers communicate and synchronize in a network.
Among his most significant achievements is the development of LaTeX, a document preparation system that became the standard for scientific and mathematical publishing, building upon the TeX system created by Donald-Knuth. In the realm of algorithms, he is famous for the Paxos-Algorithm, which solves the problem of consensus in a network of unreliable processors, and the Bakery-Algorithm for mutual exclusion. He also introduced the concept of Logical-Clocks and the 'happened-before' relation, which are essential for ordering events in Concurrent-Programming.
Throughout his career, Leslie-Lamport has worked at prestigious institutions including SRI-International, Digital-Equipment-Corporation, and Microsoft-Research. He is also the creator of TLA+, a formal specification language used to design, model, and verify complex software and hardware systems, ensuring they are free from critical errors like deadlocks or race conditions. His seminal paper, 'Time, Clocks, and the Ordering of Events in a Distributed System,' remains one of the most cited works in Computer-Science.
Sources and further reading: ACM Turing Award Profile, Microsoft Research Faculty Page, Leslie Lamport's Personal Homepage.