
CCosmo: A Custom First-Order Conic Solver
A C++ and CUDA solver family for the structured convex programs that appear in robotics, control, and graph-of-convex-sets relaxations.

I am a final-year PhD candidate at MIT, advised by Pablo Parrilo and Russ Tedrake, working at the intersection of mathematical optimization, robotics, and reliable autonomy. My research develops scalable algorithms for high-performance decision-making, particularly in robotics.
I am interested in the entire decision-making pipeline, from high-level modeling, high-performance solver implementations, and low-level linear algebra to enable faster optimal decisions. I specialize in semidefinite programming and sums-of-squares optimization and development of convex optimization solvers. A central theme in my work is turning mathematical structure into computation. I build algorithms that exploit polynomial, conic, and graph structure to make difficult problems tractable, and am committed to distributing robust, open-source implementations of my methods.
I wrote CCosmo, a C++ first-order conic solver family, and VEGA, a decomposition solver for Graphs of Convex Sets. I am also an active contributor to Drake’s optimization, geometry, and planning stack. I am interested in industrial research roles where rigorous optimization, scalable algorithms, and high-quality software can push the frontier of AI, robotics, autonomy, and scientific computing.
MIT
Drake Robotics Toolbox
Robotics and AI Institute
Uber Advanced Technology Group
MIT
University of Pennsylvania
University of Pennsylvania

A C++ and CUDA solver family for the structured convex programs that appear in robotics, control, and graph-of-convex-sets relaxations.

Parallel decomposition methods and benchmark infrastructure for large graph-of-convex-sets planning relaxations.

Formally verifying the safety of complicated trajectories at scale.

Provably correct descriptions of Configuration Space for collision-free motion planning

Solving linear systems of equations is a fundamental subroutine in many algorithms. What structures are amenable to solving linear equations even faster.

Resiliency of control systems and learning algorithms via counter-factual optimization