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.
T1 – Distributed Systems |
T4 – Logic
Christian Cachin |
The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_1531314.html.
Schedules and Rooms
|Schedule||Wednesday, 14:15 - 17:00|
|Location||UniBE, Engehaldenstrasse 8|