I'm a researcher and software engineer interested in all things distributed systems.
I've worked at OpenAI on the databases team, building distributed shadowing and synthetics testing frameworks, and at Stripe on the MongoDB team, saving tens of thousands in AWS costs by automating database assignments.
In my research, I'm interested in how we can automate verifying distributed and decentralized systems' correctness. I've explored areas like distributed systems security, formal verification, graph theory, and software engineering. I've worked as a Visiting Researcher at the University of Cambridge on the Kintsugi project and at Sorbonne Université on a formally-verified DB project. I studied Honours CS at the University of British Columbia, where I've worked as an undergraduate research assistant on the Specula, dcal and PR-Issue Graph projects.
See more on my website (and blog too!). Otherwise, reach out on LinkedIn, or get in touch at [email protected].