Doctoral student at the University of Colorado Boulder, Smead Department of Aerospace Engineering Sciences. Research in differential game theory, safe multi-agent systems, and computational astrodynamics — with a focus on algorithms that are tractable enough to run onboard while providing formal guarantees.