About me

I am currently a Postdoctoral 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.

You can find my CV here and contact me at shaoruchen at microsoft dot com. If you are interested in my research or want to collaborate, please feel free to reach me!

About my research

My long-term research goal is to make AI-enabled autonomous systems work safely and reliably in the real world. My research focuses on developing scalable and efficient verification, optimization, and learning tools for safe control of complex nonlinear and learning-enabled systems with formal guarantees. I am interested in extending the scope of model-based methods to directly handle large-scale neural networks (NNs) such that we can naturally interface both learning and model-based methods through NNs and enable orchestration of both classes of methods for autonomous system design. My work includes:

  1. Efficient Verification of NNs and Learning-Enabled Systems: Certifying robustness of NNs and safety/stability of control systems with large-scale NNs in the loop.

  2. Safe Control of Learning-Enabled Systems: Designing policies with safety guarantees for learning-enabled systems.

  3. Verification-Guided Learning: Integrating learning and verification to produce NN policies or certificates with formal guarantees.

I am broadly interested in machine learning, control, and optimization problems that are related to autonomous system design. If you find my work interesting or have any questions, I am happy to have a discussion.