Lectures related to Consensus Algorithms: FloodSet

Theory of Computability: Solvability and Complexity

Explores the theory of computability, decision problems, complexity classes, and the 'P vs. NP' conundrum.

Complexity & Induction: Algorithms & Proofs

Explores worst-case complexity, mathematical induction, and algorithms like binary search and insertion sort.

Distributed Algorithms: Project Implementation and Evaluation

Covers the implementation and evaluation of a practical project in Distributed Algorithms, focusing on building Perfect Links, FIFO Broadcast, and Localized Causal Broadcast.

Binary Search: Basics and Execution

Explores binary search fundamentals, efficiency, and temporal complexity in algorithmic searching.

Real-Time Distributed Algorithms

Explores real-time distributed algorithms, covering industrial applications, system models, communication protocols, and failure detection.

Solving Parity Games in Practice

Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.