Graduate Theses: Recent submissions

Now showing items 58-60 of 36487

    • Applied Compiler Optimizations for Proving Code 

      Ruiz, Ricardo (Massachusetts Institute of Technology, 2025-09)
      The recent popularity of massively distributed, trustless systems has created a demand for cryptographic proofs: systems to prove that a piece of data is a valid output for a given program. These systems exist, but face ...

    • Reconstructing Cross-Species Ancestral Adeno-Associated Viruses for Enhanced Gene Therapy Delivery 

      Xie, Yuxin (Massachusetts Institute of Technology, 2025-09)
      Adeno-associated viruses (AAV) are one of the most promising vectors for gene therapy because of their established safety, low immunogenicity, and capability to achieve sustained gene expression. However, many naturally ...

    • Generating Unprecedented Extreme Scenarios with Limited Data 

      Chang, Kai (Massachusetts Institute of Technology, 2025-09)
      Quantifying and predicting rare and extreme events persists as a crucial yet challenging task in understanding complex dynamical systems, ubiquitous in science and engineering. Many practical challenges arise from the ...