- I am a Ph.D. student in the Department of Automation at Shanghai Jiao Tong University (SJTU), supervised by Prof. Xiang Yin.
- 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
- Here is my resume and you are welcome to contact me via E-mail: jnzhao@sjtu.edu.cn.
