Distributed Systems Courses and Certifications

Strange Loop Conference

Correctness Proofs of Distributed Systems with Isabelle

Explore formal verification of distributed systems using Isabelle/HOL. Learn to prove correctness of algorithms, focusing on consensus and agreement properties in infinite state spaces.

• YouTube
• 43 minutes
• On-Demand
• Conference Talk

Scala Days Conferences

Hands on Introduction to Distributed Systems Concepts with Akka Clustering

Explore distributed systems concepts through a hands-on demonstration using Akka and Raspberry Pi's. Learn about cluster management, gossip protocols, and leader election in a gamified, interactive format.

• YouTube
• 41 minutes
• On-Demand
• Conference Talk

GOTO Conferences

Why Are Distributed Systems so Hard?

Explore the challenges of distributed systems, including CAP theorem myths, network partitions, consensus algorithms, and human factors in system design.

• YouTube
• 22 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Workflows, a New Abstraction for Distributed Systems

Explore how Workflow Systems revolutionize distributed systems development, mitigating challenges like failure at the platform level and enabling coding as if failures don't exist.

• YouTube
• 39 minutes
• On-Demand
• Conference Talk

Foundations of Distributed Database Systems

Master distributed database fundamentals, from core architectures to advanced partitioning techniques. Gain practical skills in optimizing query performance and managing data across distributed environments.

• Coursera
• 17 hours 12 minutes
• On-Demand
• Paid Course

Introduction to Apache Kafka

Master Apache Kafka! From core concepts to advanced architecture, learn to create, manage, and troubleshoot Kafka for real-world data streaming challenges!

• DataCamp
• 2 hours
• On-Demand
• Free Trial Available

Software Architecture Patterns

Discover proven architectural patterns to design scalable, resilient systems from monoliths to microservices, cloud-native solutions, and distributed architectures.

• Udacity
• 15 hours
• On-Demand
• Paid Course

OpenInfra Foundation

A Beginner's Guide to Ceph - Introduction to Distributed Storage Systems

1 review

Discover the fundamental concepts and core principles of Ceph storage technology in this beginner-friendly exploration of distributed storage systems.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Twitter

Real-Time Analytics with Apache Storm

2 reviews

The world is trending in real time! Learn Apache Storm, taught by Twitter, to scalably analyze real-time tweets and drive d3 visualizations. Storm is free, open and fun!

• Udacity
• 5 hours
• On-Demand
• Free Online Course

Strange Loop Conference

Towards Language Support for Distributed Systems

Exploring language-level solutions for distributed systems challenges, focusing on CRDTs and serverless function compositions to simplify development and enhance reliability.

• YouTube
• 43 minutes
• On-Demand
• Conference Talk

USENIX

Why Are Distributed Systems So Hard?

Explore the challenges of distributed systems, including CAP theorem myths, network partitions, consensus algorithms, and human factors, with cat-illustrated examples.

• YouTube
• 28 minutes
• On-Demand
• Conference Talk

NDC Conferences

Adding Observability to Distributed Systems

Explore mechanisms for observing and debugging distributed systems, focusing on distributed tracing tools to track transactions across multiple services and execution contexts.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Conference Talk

NDC Conferences

Distributed Tracing - How the Pros Debug Concurrent and Distributed Systems

Explore OpenTracing and Zipkin for debugging distributed systems. Learn to instrument applications, visualize operations across services, and enhance performance analysis in microservice architectures.

• YouTube
• 57 minutes
• On-Demand
• Conference Talk

Docker

Getting Deep on Orchestration - APIs, Actors, and Abstractions in Distributed Systems

Explore orchestration platforms' architecture, scaling challenges, and extension points. Learn about distributed systems, APIs, and actors, with insights from Amazon and a live multi-cloud Swarm cluster demo.

• YouTube
• 42 minutes
• On-Demand
• Free Video

GOTO Conferences

Designing Distributed Systems with TLA+

Learn to design and test distributed systems using TLA+, a powerful specification language that complements unit testing and type systems for catching complex concurrency bugs and validating system designs.

• YouTube
• 37 minutes
• On-Demand
• Conference Talk