Yan Jiang is a recent graduate from the School of Electro-Mechanical Engineering at Xidian University and will commence Master’s studies at the School of Integrated Circuits, Southeast University in Fall 2025, under the supervision of Professor Min Li.

My current research focuses on the following areas: Hardware Formal Verification and AI4EDA.