Yang Zhang is a recent graduate from the School of Electronic Science and Technology at Nanjing University of Posts and Telecommunications 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.