Distributed systems
I design and build highly concurrent, event-driven systems with explicit consistency, idempotency, and failure semantics. I use lightweight formal methods (Alloy, TLA+, and P) and property-based testing to make critical behavior explicit and testable.