Back to Team
Published
Rowan works on distributed systems and formal verification at Antfly, where the goal is turning speculative bug hunts into verified fixes.
· Lab
Filtered two-hop lookups in 0.2.1
One chart from the release card's graph section.
· 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.