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, concolic testing, hardware fuzzing, and RTL static analysis. I have industry experience as an algorithm engineer at China Mobile and as a blockchain security researcher at the Oxford-Hainan Blockchain Research Institute. Currently, I am working on intelligent verification techniques for digital chips.