Projects
Agentic RAG System for Documentation
Comprehensive reasoning RAG system for RapidFire AI documentation. Semantic chuncking, retrieval, cross-encoding, and parallelization workflow to a final LoRA SFT generator for domain adaptation. Evaluated with reference-based metrics and LLM-as-Judge. Used RapidFire AI's expiriment wrapper for grid search of configs.
BurnMark
First Rust fuzzing harness for automatic differentiation in deep learning libraries. Fixed 16 bugs in popular frameworks, mainly FFI boundary and computational graph construction issues. Also fuzzed ad_trait and evalexpr-jit. Benchmarking Rust LLM agents with different backends (Candle, Burn, native PyTorch).
F1 Convex Trajectory Optimization
Built a non-convex vehicle controls model with a KKT formulation to optimize lap curvature. Dual and primal formulation included. Used CVXPY, Clarabel, and real-world telemetry to simulate racing lines that outperformed F1 records.
Calyx Hardware Compiler Evaluation
Comprehensive artifact evaluation of the original 2021 Calyx (Futil) compiler against the new 2026 Calyx compiler and intermediate language. Analysis of parallelism techniques that are integral to safe and efficient hardware compilation. Inspired by Rust's Aliasing XOR Mutability.
9-bit CPU in SystemVerilog
9-bit CPU for IEEE 16 bit floating point type conversion and arithmetic operations. Designed custom ISA that only 'jumps forward.' Simulated with ModelSim and assembler in Python.
Snek2
Compiler for a Python-like language with type inference, closures, and first-class functions. Compiles to x86 assembly via LLVM-IR. Developed JIT curriculum for students using dynasm.
Toopy
CNNs written from scratch in C/C++ and OpenCL. Implemented im2col for memory coalescing and CLBlast Batched GEMM.
FishSense AutoLabel
Automated low-latency head tail labeling tool for diverse fish images. Convex hull + shape analysis for fish detection, with accuracy + speed metrics.
On-site vs Off-site Solar at UCSD
Bonnie Reiss Fellowship for exploring solar cost and production at UCSD for the 2024 Salas O'Brien study.
Eutrophication in Orange County: LEGO Spectrophotometer
1st place for Beckman Legacy Award scholarship. LEGO-based spectrophotometer for measuring water quality in OC.