I focus on distributed consistency and consensus problems at Meta. My team, Core Data Boston, works on strengthening various consistency guarantees over Meta’s read-optimized data stores that serve the social graph. Recently I have been working on distributed transactions over federated systems.
I co-wrote the folly F14 hash table; I was a core contributor to the dynamic membership change protocol of LogDevice, a strongly consistent shared log that leverages flexible quorums; and I occasionally experiment with ideas on Delos, a metadata store centered around virtual consensus, for fun. I received my BS in computer science from Yale University in 2015.