Ziyi Yang is currently a Ph.D. student at the Microelectronics Thrust, Function Hub of the HKUST(GZ), advised by Prof. Hongce ZHANG and Prof. Jiayi HUANG. Prior to this, I received my B.Eng in the Department of Electronics and Information Engineering from the China University of Petroleum, Beijing, under the supervision of Prof. Zhou JIN. My research interest includes Formal Verification, Equivalence Checking and …

Awards & Honors

• Outstanding Graduate Award, 2024
• Outstanding Individual in Technological Innovation Award, 2024