William Schultz

I am a PhD student in the formal methods group at Northeastern University where I am advised by Stavros Tripakis. My research interests are broadly at the intersection of formal verification, synthesis, and distributed systems.

Previously I worked as a software engineer at MongoDB on their database replication system. Before that I attended Cornell University, where I studied Math and Computer Science and graduated in 2016.