About

A distributed systems PhD candidate at the University of Cambridge

Currently interested in strong consistency and formal verification of distributed databases.