Welcome! I’m an MIT sophomore studying Electrical Engineering & Computer Science (6-5) and Mathematics (18), minoring in Linguistics (24). I focus on programming languages and computer architecture, with interests in performance engineering, compilers, ML, and numerical methods. I especially like making Python eDSLs.
Outside of school I enjoy language learning, amateur radio, music, nature, and reading.
Projects
Hardware / Compilers / Systems
- ParaDPLL - FPGA SAT Solver written in SystemVerilog for 6.205 final project, somewhat optimized.
- Finesse - Python FSM eDSL and toolkit including visualzation, optimization, and SystemVerilog codegen (used to make ParaDPLL visualizations).
- TinyIR - Functional Python GPU IR, with JAX, Numpy, Torch.func, and other backends.
- Split Stenography Keyboard - Custom low profile split keyboard for stenography and standard QWERTY layout.
- MLGO Peephole Superoptimizer for LLVM IR (Coming Soon) - Automatic policy-value guided MCTS search for rewrites, verified with Alive2.
ML / Game AI / NLP
Math
Random