lamport-distributed-systems
Resume localise : His work on logical clocks, consensus (Paxos), and formal specification (TLA+) provides the theoretical foundation for nearly every reliable distributed system built today. It covers adversarial-attacks, ai-safety, consensus workflows. This AI agent skill supports Claude Code