William Schultz

Staff Research Engineer at MongoDB

Cambridge, Massachusetts, United States

About

Experience

  • Staff Research Engineer at MongoDB
    Dec 2024 - Present · 1 yr 7 mos

    Working in MongoDB Research, focused on the correctness, performance, and scalability of our core distributed systems and protocols.

  • PhD Student at Northeastern University
    Aug 2020 - Dec 2024 · 4 yrs 5 mos

    Formal methods for distributed protocol verification.

  • Research Intern at Microsoft
    Jul 2023 - Sep 2023 · 3 mos

    Compositional safety verification of distributed protocols, working with Heidi Howard and Eddy Ashton.

  • Formal Verification Intern at Apple
    Mar 2023 - Jun 2023 · 4 mos

    Verifying correctness of Apple Silicon.

  • Applied Scientist Intern at Amazon Web Services (AWS)
    May 2022 - Aug 2022 · 4 mos

    Developed techniques for symbolic, model-based API testing, advised by Serdar Tasiran in the S3 Automated Reasoning Group.