Leslie Lamport is a renowned computer scientist known for his contributions to the fields of distributed computing and concurrent algorithms. In the 1980s, he proposed the famous Paxos algorithm, which is used in distributed systems to achieve consensus protocols and has had a profound impact on the field of computer science.