About me
I'm a rising junior at Princeton studying mathematics, with minors in computer science and statistical learning. I enjoy finding systematic solutions to quantitative problems.
Currently this summer, I'm working to develop robust scheduling algorithms for the Subaru Prime Focus Spectrograph in Mauna Kea, Hawaii, to direct its exposures of distant galaxies. My previous research has computationally and analytically investigated Europa's morphology for NASA's Jet Propulsion Laboratory.
What i'm doing
-
Abstract Mathematics
Rigorous coursework in analysis, optimization, and algorithms theory.
-
Computational Physics
Modern numerical techniques to advance fundamental research.
-
Quantitative Finance
Portfolio optimization for Paragon Global Investments.
-
Global Affairs
Politics, economics, and philosophy for the Princeton Debate Panel.
Where I've Been
What I've Learned
-
Optimization Theory
ORF522. Provable guarantees in modern optimization — ADMM, proximal operators, acceleration schemes, branch-and-bound, robust optimization, and data-driven optimization.
-
Machine Learning Theory
ECE435. A dense mathematical treatment of learning algorithms. Clustering metrics, dimensionality reduction, adaptive optimizers, neural network architectures, approximation theory, generalization theory, and reinforcement learning. Implemented in Tensorflow.
-
Theory of Algorithms
COS423. Rigorous analysis of algorithms, taught by Tarjan. Proved amortized bounds on modifications of classical and modern data structures. Analyzed recent papers in the field, including hollow heaps, zip trees, and rank-balanced trees, and Fibonacci heaps with cascading rank changes via randomization.
-
Algorithmic Game Theory
COS445. Systematic, incentive-compatible approaches to game-theoretic problems. Generalized matching, voting, auctions, scoring rules, anarchy, behavioral game theory, and time-inconsistent planning. Implemented strategy designs to compete against peers in zero-sum games.
-
Operating Systems
COS417. The essentials of OS — processes, threads, synchronization primitives, lock-based concurrency, event-based concurrency, virtual memory, file systems, and distributed systems. Implemented in xv6 (ANSI C and RISC-V assembly).
