I’m currently a Ph.D. student at the Microelectronics Thurst, Function Hub of the HKUST(GZ) advised by Prof. Hongce Zhang. Before that, I got my bachelor’s degree at School of Microelectronics, Tianjin University under the supervision of Prof. Feng Feng. My research interest includes Formal Verification, Electronic Design Automation(EDA), and Machine Learning.

Education Experience

2023.9 - NOW, Ph.D. student at Microelectronics, HongKong University of Science and Technology(Guangzhou) (HKUSTGZ)
2019.9 - 2023.6, B.Eng. at Microelectronics, Tianjin University(TJU)

Awards

Merit Student of Tianjin University
Challenge Cup(Academic Paper) Second Class Award

Email