Ziyue Zheng

I am currently a PhD student in the Microelectronics Thrust at The Hong Kong University of Science and Technology (Guangzhou), supervised by Prof. Yangdi Lyu. I received my MPhil in Microelectronics from HKUST(GZ) and my Bachelor's degree in Digital Media Technology from Xiamen University.

My research interests include:

• EDA & Hardware Verification: Symbolic Execution, Concolic Testing, Hardware Simulation & Emulation, LLM-based Testing, SMT Solver, Model Checking, Hardware Security
• Optimization & AI: Reinforcement Learning (Multi-agent), Meta-heuristic Optimization, Genetic Algorithm, LLM-driven EDA Optimization