I am a Ph.D candidate in the Robotics Department at the University of Michigan advised by Necmiye Ozay and Brian Umberger. My research lies at the intersection of control theory and biomechanics. In particular, I am interested in the safe control of assistive devices such as robotic prostheses. I seek to develop biologically valid yet mathematically rigorous characterizations of safety that can be used for the design of prosthesis controllers. I am also interested in using modeling and computational methods to improve and personalize rehabilitation therapy. Currently, my research focuses on quantifying human stability using formal verification methods from control theory. I am funded by an F31 fellowship from the National Institute of Biomedical Imaging and Bioengineering.