Brief BioI received my B.S. degree in Electrical and Computer Engineering from Shanghai Jiao Tong University, Shanghai in 2013, my M.S.E. and Ph.D degrees, both in Electrical Engineering: Systems, from the University of Michigan, Ann Arbor, MI in 2019 and 2020, respectively. Between 2020 and 2022, I was a postdoctoral scholar at the Department of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor, MI. I joined the School of Artificial Intelligence and Automation at Huazhong University of Science and Technology, Wuhan in 2022 as a lecturer. My research interests include control theory and formal methods, with application in verification, control synthesis and falsification of safety-critical cyber-physical systems. Curriculum Vitae |