I am a staff research engineer at MongoDB Research, where I work on the correctness, performance, and scalability of our distributed systems and protocols. In particular, I am interested in the application of automated reasoning and verification techniques to making our systems faster and safer.

I received my PhD in computer science at Northeastern University, where my research interests were centered on the application of formal methods to the design, verification, and interpretability of distributed protocols. During my PhD I worked on compositional verification techniques at Microsoft Research, hardware verification at Apple, and also spent time as a research intern in the S3 team at Amazon Web Services.

Prior to this I worked as a software engineer at MongoDB on their distributed replication system, where I worked on the design and implementation of a new reconfiguration protocol, and also helped accelerate rigorous verification of our core protocols. Before that I was an undergraduate at Cornell University, where I studied Math and Computer Science.