Welcome! I’m an MIT sophomore studying Electrical Engineering & Computer Science and Mathematics. I focus on programming languages and computer architecture, with interests in performance engineering, compiler optimization, machine learning, numerical methods, and finance.
Outside of school I enjoy language learning, radio, music, environmental sustainability, and time in nature.
Projects
- Esperanto Morphological Tokenization - Markov model-based semantic tokenization for Esperanto.
- OCR Accuracy Metrics Without Ground Truth - Quantifies OCR performance using proxy metrics.
- AWS SageMaker & User Management Workshop - Hands‑on notebooks introducing AWS SageMaker workflow and setup.
- AWS Textract & Comprehend Workshop - Hands-on workshop tutorial on document data extraction for UCSF.
- Embedding-based Search & Visualizations - Embedding search, dimensionality reduction, and interactive exploration.
- Graphing the English Language - Network‑theoretic synonym maps and exploration of semantic neighborhoods.
- On the Absense of Tie-Breaking and Rounding Overflow in Floating-Point Division - Proofs relating to floating point division rounding.
- Bit Hacks Verified - Formal verification of bit hacks and optimizations in Rocq (very incomplete).
- Random Polynomial Toolkit - Framework for generating, analyzing, and visualizing random polynomial ensembles
- TinyIR (Coming Soon) - Functional Python GPU IR, with JAX, Numpy, Torch.func, and other backends
- Finesse (Coming Soon) - Python FSM eDSL and toolkit including visualzation, optimization, and verilog codegen
Things I’m Reading
See the list: https://generic-account.github.io/papers_to_read