I am an Assistant Professor leading the Formal Verification Group at Zhejiang University (ZJU), Hangzhou, China. Prior to joining ZJU, I worked as a Postdoctoral Researcher at the Software Modeling and Verification Group at RWTH Aachen University, Aachen, Germany. In 2019, I received the Ph.D. degree in computer science from the Institute of Software, Chinese Academy of Sciences, Beijing, China.