Jieying Wu is a recent graduate from Southeast University and will commence Master’s studies at the School of Integrated Circuits, Southeast University, under the supervision of Prof. Min Li starting in Fall 2025.

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