cv

Doctor of Philosophy (PhD)

Master of Science (MS)

Bachelor of Science (BS)

Static Analysis Intern

• 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

Swift Foundation Framework Intern

• 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

Systems Intern

• 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

Full Stack Intern

• 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

15-411 Compiler Design

• 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

15-312 Principles of Programming Languages

• 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