I am a Postdoctoral Research Associate, driven by a passion for combining formal control theory and rigorous mathematical modeling with practical robotics to address pressing challenges in medicine and surgery. My work focuses on endowing surgical robots with novel, verifiably safe, and situation/outcome-aware autonomy. I specialize in developing robust adaptive control for complex, infinite-dimensional systems (PDEs), online guaranteed reachability and viability analysis for safety-critical systems, and high-precision mechano-optical control for intraoperative robotic imaging, manipulation, and biophysical tissue characterization.