Description

The theory of distributed computing provides the intellectual foundations for understanding how complex computing systems like the Internet, clouds, IoT, sensor networks, and more can function correctly despite failures, and achieve low communication costs. 

Topics that will be covered in this mini-course include:

• How to design distributed algorithms and reason about their correctness.
• Understand the foundations of distributed computing.
• Basics of fault-tolerant shared-memory and network computations, consensus, and state-machine replication.