Education
Carnegie Mellon University, Pittsburgh, PA.
Bachelor of Science in Mathematical Sciences
Selected Coursework: Parallel and Sequential Data Structures and
Algorithms, Introduction to Computer Systems, Principles of Imperative
Computation, Probability Theory and Random Processes, Principles of
Functional Programming, Numerical Methods, Introduction to Differential
Equations, Linear Algebra, Interactive Theorem Proving, Parallel Computer
Architecture (Ongoing)
Project Experience
Open-Source Contributions - Clang / LLVM (swiftlang)
- Authored a fix which was merged after code review for improper
attribute dropping in the
-fexperimental-bounds-safety-attributesfeature flag. - Debugged attribute handling across Clang's Sema and AST libraries to identify where the attribute was dropped and restore correct propagation.
Bus Sign
- As a member of ScottyLabs’ internal tooling team, design and implement a bus time arrival display in the Cohon University Center on a team of 4.
- Worked with design team to implement interface according to specification and resolve questions about functionality
Transit Calendar
- Created a dynamic website with HTML, CSS, and TypeScript to output weekly transit timetables from a transit agency’s GTFS data feeds for intro to web development student course.
Malloc Lab
- Implemented a memory allocator in C using segregated lists with coalescing and best-fit block placement for introduction to computer systems course.
Data Visualizer
- Deployed an easy-to-use tool to generate readable data visuals from CSV files in Python for introduction to programming. Coordinated development with git to road-map features and stay on track.
Work and Extracurricular Experience
Joint CMU-Pitt Directed Reading Program
- Met weekly with graduate student mentor discussing independent readings into Model Theory.
- At the end of the semester, summarized investigations in a short presentation in front of all program participants.
Mathematical Sciences Department, CMU
Skills
- Programming Languages
- C, C++ (CUDA), Rust, SML, LLVM IR, Lean 4, Python, JavaScript, TypeScript, HTML, CSS, LaTeX, Typst
- Software
- Linux, macOS, Terminal (bash, zsh), Vim/Neovim, git, MS Office, Adobe CC
- Spoken Languages
- English, Spanish (Native Reading/Writing), French (Reading)