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. My research interest is formal verification.

🔥 News

• 2025.07:  🎉🎉 Second Prize in the EDA² Xiakedao Competition
• 2025.07:  🎉🎉 Outstanding Bug-Fixing Team (bug award), EDA² Xiakedao Competition
• 2024.09:  🎉🎉 Joined HKUST(GZ) as a Ph.D. student
• 2024.06:  🎉🎉 Outstanding Graduate Award
• 2024.05:  🎉🎉 Outstanding Individual in Technological Innovation Award

📝 Publications (First-author and co-first-author papers are highlighted)

Ph.D. Work

(To be updated)

Undergraduate Work

• AICAS’2023 Three Challenges in ReRAM-Based Process-In-Memory for Neural Network

  Ziyi Yang, Kehan Liu, Yiru Duan, Mingjia Fan, Qiyue Zhang and Zhou Jin

  IEEE 5th International Conference on Artificial Intelligence Circuits and Systems (AICAS), 2023.

• Electronics’2023 Accelerating DC Circuit Simulation through Feature Selection and LSTM-Based Time-Step Control

  Zhou Jin, Ziyi Yang, Haojie Pei, Xiaru Zha, Yinuo Bai, Dan Niu, Zhenya Zhou, and Xiao Wu.

  MDPI Electronics, 2023

🎖 Honors and Awards

• 2025.07:  🎉🎉 Second Prize in the EDA² Xiakedao Competition
• 2025.07:  🎉🎉 Outstanding Bug-Fixing Team (bug award), EDA² Xiakedao Competition
• 2024.06:  🎉🎉 Outstanding Graduate Award
• 2024.05:  🎉🎉 Outstanding Individual in Technological Innovation Award

📖 Educations

• 2024.06 - now, Ph.D student in Hong Kong University of Science and Technology(Guangzhou).
• 2020.09 - 2024.06, B.Eng. in China University of Petroleum(Beijing).

👥 Visitors