cv

Read below, or view (the slightly outdated) PDF to the right

🎓 Education

  • 2024.08 - Present

    Pittsburgh, PA, USA

    Doctor of Philosophy (PhD)
    Carnegie Mellon University
  • 2023.01 - 2023.12

    Pittsburgh, PA, USA

    Master of Science (MS)
    Carnegie Mellon University
  • 2019.08 - 2022.12

    Pittsburgh, PA, USA

    Bachelor of Science (BS)
    Carnegie Mellon University

💼 Work

  • 2023.06 - 2023.08

    Portland, OR, USA

    Static Analysis Intern
    Galois
    • Implemented in Haskell a static analysis pass over C++ code collecting scope information of every identifier (variables, classes, etc.)
    • Built and documented a test suite ensuring that a One Definition Rule (ODR) static analysis pass fully covered each paragraph in the ODR section of the official C++ standard
  • 2022.05 - 2022.08

    Santa Clara, CA, USA

    Swift Foundation Framework Intern
    Apple
    • Solved a confidential open problem regarding Swift Key Paths and implemented my solution into the Swift Compiler and Runtime
    • Presented and demonstrated my new features in action to the head of the Swift Platform Experience team
  • 2021.06 - 2021.08

    New York, NY, USA

    Systems Intern
    Hudson River Trading
    • Translated and refactored legacy CFEngine configuration management code into SaltStack, eliminating major technical debt
    • Designed and implemented parallelization for open-source disk usage tool (DUC) in C, achieving ~3x speedups on large file systems
  • 2020.05 - 2020.08

    Bethlehem, PA, USA

    Full Stack Intern
    IPVM
    • Developed an internal issue management system with due date, assignee, followers, email notifications, sorting/filtering, etc.
    • Expanded rich text editor plugin and backend uploader pipeline to support inserting images and files via dialog and drag-and-drop

🏗️ Course Infrastructure

while teaching

  • 2023.01 - 2023.05

    Pittsburgh, PA, USA

    15-411 Compiler Design
    Carnegie Mellon University
    • Transitioned compiler auto-grading infrastructure to Gradescope and helped maintain it for every assignment
    • Wrote weekly recitation handouts reviewing the various stages of compiler implementation (parsing, typechecking, codegen)
    • Assisted teams implementing compiler in the Rust Programming Language
  • 2023.01 - 2023.05

    Pittsburgh, PA, USA

    15-312 Principles of Programming Languages
    Carnegie Mellon University
    • Reworked homework assignments to be more engaging, such as adding a translation task from Python to a statically typed language
    • Refactored homework code infrastructure (parsers, typecheckers, interpreters) to be modular and standardized across assignments

Technical Skills

  • Programming Languages
    • Rust
    • OCaml
    • Haskell
    • C
    • C++
    • Go
    • Python
    • Ruby (on Rails)
    • JavaScript
    • SML
    • x86 asm
  • Verification Tools
    • Agda
    • CaDiCaL

Other Interests

  • Competition Programming (USACO, ICPC)
  • Capture the Flag (CTF) Cybersecurity Competitions
  • Linguistics