Current
Undergraduate at the University of Michigan studying Computer Science and Honors Mathematics, with a minor in Physics.
Projects
Concurrent C++ Systems Infrastructure.
Implemented a user-level thread library, virtual memory pager, and multithreaded network file server in C++/Linux. The work covered FIFO scheduling, context switching, mutexes and condition variables, copy-on-write memory management, second-chance eviction, TCP request parsing, crash-consistent disk ordering, and reader/writer locking.Assertionista: Teaching LLMs to Generate Provably Correct Code.
Built a verifier-guided RLVR pipeline for Dafny code generation using Python, PyTorch, Hugging Face, Dafny, and AWS. The system combined deterministic JSON patching, staged verifier reward functions, and two-model training for code generation and proof annotation under tight GPU constraints. [paper] [poster] [repository]Studi: Campus Study Spot Sharing App.
Built a full-stack React/TypeScript app for discovering and rating campus study spots. Features included authentication, real-time posts, location-based ratings, media uploads, profile pages, Convex-backed live data, and Supabase integration. [repository]Robotics Scouting and Prediction System.
Built software for a FIRST Robotics team, including a cross-platform scouting application and machine learning models for match prediction and competition strategy. The system improved real-time data collection and supported fast decisions during events. [repository]Research
Finding Ellipses Project.
Mathematics research on Blaschke products, Poncelet-type ellipses, and matrix numerical ranges. I built Python tools for symbolic and numerical exploration, a React/WebGL visualization tool for Blaschke products, and contributed to a writeup. [manuscript]Dahl High Energy Physics Group.
Worked on dark matter detector data analysis for PICO, LZ, and SBC bubble chamber experiments. The work included Python-based signal processing and anomaly detection, Monte Carlo simulation with MCNP, and acoustic imaging methods for bubble chamber event detection. [repository]Exposition / Notes / Talks
Affine Group Schemes.
Expository notes from an exploratory project for Math 632 on how groups, subgroups, actions, stabilizers, and quotients are translated into algebraic geometry, especially in the affine case. [pdf]Introduction to (topological) K-Theory and Vector Bundles.
Slides and an explainer video from Math 696 on topological K-theory and vector bundles, made for students taking the first-year algebraic topology course; other student videos can be found here. [slides] [video]Commutative Algebra toward Algebraic Geometry.
Reading notes in preparation.Abelian Categories and Homological Algebra.
Slides from a Michigan Math Directed Reading Program talk on categorical basics of homological algebra. [pdf]Primes of the Form x² + ny² and Quadratic Forms.
Slides from a Michigan Math Directed Reading Program talk on primes, quadratic forms, and some class field theory. [pdf]Acoustic Imaging for SBC Dark Matter Detectors.
Poster for a colloquium presentation on acoustic event detection and nucleation imaging in bubble chamber dark matter experiments. [pdf]