William Schultz

I am a staff research engineer at MongoDB Research, focused on improving 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 I was advised by Stavros Tripakis. Generally, my research interests were centered around the application of formal methods to the design, verification, and interpretability of distributed protocols.

During my PhD I worked on the verification of hardware designs at Apple, and also at Microsoft Research, where I worked on compositional techniques for verifying distributed protocols. I 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. Before that I was an undergraduate at Cornell University, where I studied Math and Computer Science.