FPGAMLRTLVerification
A football predictor that runs as a physical circuit instead of as code — two independently-trained models compiled straight into digital logic on a Basys 3, verified bit-exact from golden reference to physical board.
Summer 2026
FPGAMLRTLVerification
Sweeping LUT-only neural networks across 40+ Artix-7 implementations to find where accuracy stops paying for area, and validating the winning design on every sample in the dataset.
Summer 2026
MLRTLVerificationEDA
A tool that turns a trained Differentiable Weightless Neural Network into synthesizable Verilog, generates its test vectors and testbenches, and verifies the result — without a vendor toolchain.
Summer 2026
MLSoftwareVerification
Hand-optimized Rust and Arm NEON kernels for Mamba's selective scan, replacing PyTorch's sequential CPU fallback and validated against high-precision references at every layer from scalar code to the PyTorch integration.
Summer 2026
RTLFPGAVerification
A hardware Monte Carlo engine that plays 10,000 complete craps games in half a millisecond on a Basys 3, with results checked against the analytical win probability rather than against itself.
Summer 2026
RTLFPGAVerification
An arcade rhythm game built as a modular Verilog engine on a Basys 3 — a controller FSM and datapath handling scoring, timing, input, and display, with exact pause/resume semantics.
Summer 2026
EDAML
A two-stage optimizer over DREAMPlace that picks a placement strategy per design and then refines it with warm-started Bayesian search, cutting proxy cost 16% against a RePlace baseline across 21 benchmarks.
Spring 2026
SoftwareVerification
A C data-structures lab — an interactive tech-support diagnosis tool that starts from two solutions and permanently learns new ones, grafting new questions into a binary decision tree instead of hard-coding them.
Spring 2026
Software
A Geometry Dash clone built from scratch on an MSPM0G3507 microcontroller — real-time LCD sprite rendering and 12-bit DAC audio driven by two independent interrupt sources, with analog and digital input handled entirely in C++.
Spring 2026
MLSoftware
A resume-parsing tool that turns an uploaded PDF, DOCX, or TXT resume into structured JSON — local text extraction feeding a locally-run LLM instead of a brittle regex-and-templates approach or a cloud API.
Winter 2026
Software
A Tetris clone built in Java Swing to practice object-oriented game design — piece movement, collision, line clearing, and a live difficulty curve, built from scratch without a game engine.
Fall 2025
Software
A real-time, anonymous Q&A platform for live events — room codes, upvoting, and a host dashboard, synced across every device through Firestore with no backend of my own to run.
Summer 2025