Best Distributed Systems

Jeffrey Dean is an American computer scientist and software engineer who has spent his career at Google, eventually becoming Chief Scientist. He co-designed several of Google's core distributed systems infrastructure technologies, including MapReduce, Bigtable, and Spanner, which handle massive-scal...

Jim Gray was an American computer scientist whose research fundamentally transformed the theory and implementation of database systems. He formalized the concepts of ACID transactions, providing the mathematical guarantees required for reliable, concurrent processing of financial and commercial data...

Nancy Lynch is an American computer scientist and professor at the Massachusetts Institute of Technology, specializing in the theory of distributed computing. She is best known for co-authoring the 1985 FLP impossibility result, which mathematically proved that asynchronous distributed systems canno...

Sanjay Ghemawat is an American software engineer and computer scientist at Google, where he specializes in large-scale distributed systems. In collaboration with Jeffrey Dean, he co-designed the Google File System (GFS) and the MapReduce programming model. These foundational systems provided the arc...

Michael J. Fischer is an American computer scientist and professor at Yale University, specializing in distributed computing, cryptography, and theoretical computer science. He is most recognized as the lead author of the 1985 FLP impossibility theorem, which mathematically proved that no asynchrono...

Maurice Herlihy is a computer scientist at Brown University whose work established foundational concepts in concurrent and distributed computing. With Jeannette Wing, he defined linearizability, the standard correctness condition for concurrent objects, and with others introduced wait-free synchroni...

Martin Abadi is a computer scientist known for his contributions to security and programming language theory. He co-developed the Burrows-Abadi-Needham (BAN) logic for analyzing authentication and security protocols with Michael Burrows and Roger Needham. His later work includes research on type sys...

Eric Brewer is an American computer scientist at the University of California, Berkeley. He proposed the CAP theorem in 2000, which states that a distributed system cannot simultaneously guarantee consistency, availability, and partition tolerance. He also co-founded Inktomi, an early internet infra...

Ian Foster is a computer scientist at Argonne National Laboratory and the University of Chicago who co-developed grid computing concepts with Carl Kesselman in the 1990s. He led the creation of the Globus Toolkit, a middleware platform for distributed computing infrastructure. Foster's work has cont...

Jeff Dean is a prominent computer scientist at Google renowned for his contributions to large-scale distributed systems. He played a key role in developing foundational technologies like MapReduce and Bigtable, significantly impacting how data is processed and stored across the internet. His work is...

Hector Garcia-Molina is a Spanish-American computer scientist and a professor at Stanford University. He specializes in the fields of database systems, having made major contributions to distributed databases, data integration, and web data management. His research has influenced how large-scale dig...

Carl Kesselman is an American computer scientist at the University of Southern California's Information Sciences Institute. Together with Ian Foster, he is credited as a co-founder of grid computing, a paradigm for large-scale, cross-institutional resource sharing. He co-developed the Globus Toolkit...

Leslie Lamport is a prominent American computer scientist recognized for his pioneering research in distributed systems. His work fundamentally shaped how computers communicate and synchronize data across networks. Lamport’s theoretical contributions, particularly regarding consensus algorithms like...