Doctoral Theses: Recent submissions

Now showing items 10-12 of 22789

    • Systems for Usable Machine Learning 

      Zytek, Alexandra (Massachusetts Institute of Technology, 2025-02)
      Many real-world decision problems are complex, with outcomes difficult to measure and evaluate. The impact of decisions made in these domains is nuanced and takes a long time to be fully realized. Individual mistakes can ...

    • Causal Foundations for Pragmatic Data Science 

      Squires, Chandler (Massachusetts Institute of Technology, 2025-02)
      A key goal of scientific discovery is the acquisition of knowledge that is practically useful for societal endeavors, such as the development of medicine or the design of fruitful economic policies. In this thesis, I place ...

    • Techniques for Foundational End-to-End Verification of Systems Stacks 

      Gruetter, Samuel (Massachusetts Institute of Technology, 2025-02)
      Today's software is full of bugs and vulnerabilities. Formal verification provides a promising remedy through mathematical specifications and machine-checked proofs that the implementations conform to the specifications. ...