I am a Robotics Ph.D. student at Safe Robotics Lab, Georgia Tech.
My research interest lies in bridging a safety-focused formal verification theory with generative-model-based robot policies to achieve safe, reliable, and robust autonomy
💬 Feel free to reach out to discuss more about research and education!
Pytorch, MuJoCo, cyipot, Gurobi