William Schultz

schultz (dot) w (at) northeastern (dot) edu

I am a third-year PhD student in the formal methods group at Northeastern University where I am advised by Stavros Tripakis. My research interests are in formal methods and distributed systems broadly.

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




  • Summer 2022 Applied Scientist Intern, Amazon Web Services (AWS)
  • Summer 2021 Research Intern, NASA Langley Research Center [presentation]
  • 2016 - 2020 Software Engineer, MongoDB