William Schultz

I am a staff research engineer at MongoDB, focused on distributed systems and formal methods.

I received my PhD in computer science in the formal methods group at Northeastern University where I was advised by Stavros Tripakis. Generally, my research interests have been centered around the application of formal methods to the design, verification, and interpretability of distributed systems.

During my PhD I interned at Apple, working on formal verification of their hardware designs, and also at Microsoft Research, where I worked on compositional verification techniques for distributed protocols within the Azure Research group.

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.