👩‍🎓 About Me

Hi! I am currently a Ph.D. student at the Microelectronics Thrust, Function Hub of the HKUST(GZ), advised by Prof. Hongce ZHANG. 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.

🔬 Research Interests

  • • Formal Verification
  • • Equivalence Checking
  • • Electronic Design Automation

🏆 Awards & Honors

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

🌍 Visitors Around the World