I am currently a Post Doc Researcher at Microsoft Research, NYC. Previously, I obtained the Ph.D. degree in electrical and systems engineering from the University of Pennsylvania (UPenn). I was advised by Prof. Victor M. Preciado. At UPenn, I am also closely working with Prof. Manfred Morari, Prof. George J. Pappas and Prof. Nikolai Matni. Before coming to UPenn, I received a B.E. degree in Automation from Zhejiang University, China, in 2017.
I am broadly interested in control, optimization, and machine learning. My current research is focused on designing efficient numerical tools that can provide safety guarantees on learning-enabled dynamical systems. Specific research topics include neural network verification, learning for control, and robust model predictive control.