I'm a junior at Carnegie Mellon studying Computer Science (3.7 GPA). My interests span compilers, numerical optimization, formal verification, and parallel computing — areas where the gap between theory and working systems is still wide open.
I've spent three summers as a research intern at NASA Langley Research Center, working on sensor fusion with Kalman filters, formal proofs of linear algebra and robustness properties in the PVS theorem prover, and GPU-parallelized flight simulations that cut compute time by over 100×. At CMU I TA 15-122 Principles of Imperative Computation, running weekly recitations and labs for 500+ students.
Outside of coursework and internships, I founded Sleipnir, an open-source C++ numerical optimization solver used in production by 5,000+ teams in FIRST Robotics Competition. Building it pushed me deep into automatic differentiation and solver design — novel differential coding algorithms I developed improved benchmarks by over 2× compared to state-of-the-art solvers.