- 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.
- 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
- Distributed control of multi-agent systems
