Research
Cheap code means formal verification is reasonable now
How we use TLA+ and coding agents to formally model distributed systems, find race conditions, and turn speculative bug hunts into verified fixes.
Back to About
Rowan works on distributed systems and formal verification at Antfly, where the goal is turning speculative bug hunts into verified fixes.