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