- I am a Ph.D. student in the Department of Automation at Shanghai Jiao Tong University (SJTU), supervised by Prof. Xiang Yin.
- Currently, I am a visiting Ph.D. student at Max-Planck Institute for Software Systems (MPI-SWS), supervised by Prof. Rupak Majumdar.
- Previously, I received my B.Eng. degree in Automation at University of Science and Technology of China (USTC), 2019 and collaborated with Prof. Xiao Yu for Master study at SJTU from 2019 to 2020.
- I was born in 1997, Shanxi Province, China. I grew up in Changzhi.
- I am broadly interested in system control and formal methods. My current research interests include the following aspects:
- Formal verification and synthesis of cyber-physical systems
- Game-theoretical decision-making in dynamic environments
- Perception-based safe control for autonomous systems
