- I am a postdoctoral researcher at Max-Planck Institute for Software Systems, working with Prof. Rupak Majumdar and Prof. Sadegh Soudjani.
- I received my Ph.D. degree in Control Science and Engineering at Shanghai Jiao Tong University (SJTU) in 2025, supervised by Prof. Xiang Yin.
- Previously, I received my B.Eng. degree in Automation at University of Science and Technology of China (USTC) in 2019.
- 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
