Distributed Algorithms

This course provides an introduction to computing in a distributed environment without a central coordinator. It presents fundamental programming abstractions for distributed systems and fault-tolerant, highly available, and secure protocols that implement them. Important problems of distributed computing are discussed and influential impossibility results are shown. The central question of the course is how to tolerate uncertainty and adversarial influence, which may arise from network delays, faults, or malicious attacks in a distributed system. Topics include replication, quorums, reliable broadcast, distributed storage, consensus, Byzantine agreement, atomic broadcast, and notions of consistency arising in this setting. Applications to real-world systems will be presented, in the domain of cloud computing, cryptocurrencies, and blockchain systems.

Details

Code 11102
41102
Type Course
ECTS 5
Site Bern
Track(s) T1 – Distributed Systems
T4 – Logic
Semester S2020

Teaching

Lecturer(s) Christian Cachin
Language english
Course Page

The course page in ILIAS can be found at .

Schedules and Rooms

Period Weekly
Schedule Wednesday, 14:15 - 17:00
Location UniBE, Engehaldenstrasse 8

Additional information

Comment

First Lecture
The first lecture will be announced later.