cv

Work

Education

  • Aug 2020 - May 2025

    Austin, Texas, USA

    PhD
    University of Texas at Austin
    Computer Science
  • Aug 2016 - May 2020

    Granville, Ohio, USA

    Bachelors
    Denison University
    Computer Science and Mathematics

Internships

  • May 2024 - Aug 2024
    Research Intern
    Microsoft Research
    Mentor: Jay Lorch
    Continued work from my prior internship on a verified persistent memory storage system in Verus. This work led to our OSDI 2025 paper "PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection".
  • May 2023 - Aug 2023
    Research Intern
    Microsoft Research
    Mentor: Jay Lorch
    Built a verified crash-consistent and corruption-resistant persistent memory log in Verus. This work was included in a case study in the SOSP 2024 paper "Verus: A Practical Foundation for Systems Verification".
  • May 2022 - Aug 2022
    Applied Scientist Intern
    Amazon Web Services
    Mentor: Rajeev Joshi
    Developed a prototype S3 file connector and executable specification in Rust. This work contributed to what is now AWS's Mountpoint for S3.
  • May 2021 - Aug 2021
    Applied Scientist Intern
    Amazon Web Services
    Mentor: Rajeev Joshi
    Modeled the design of a persistent B-tree library in Rust to check for concurrency and crash-consistency bugs with the S3 Express One Zone team.

Awards

Publications

Teaching assistantships