Hongce
ZHANG
張 弘 策
PhD in Electrical Engineering
Affiliate Assistant Professor, ECE, HKUST(CWB)
Assistant Professor, Thrust of Microelectronics, Function Hub, HKUST(GZ)
Research Area
Integrated Circuits and Systems (ICS)
Research Interests
Hardware Formal Verification
Circuit Equivalence Checking
Model Checking
Invariant Synthesis
Machine-Learning Aided Formal Verification
Profile
PhD, Princeton University
Hongce Zhang is an Assistant Professor in the Microelectronic Thrust of the Hong Kong University of Science and Technology (Guangzhou) and he has been affiliated with Department of Electronic and Computer Engineering since November 2021. He received his PhD from the Electrical and Computer Engineering Department of Princeton University in 2021 and his bachelor’s degree was from Shanghai Jiaotong University in 2015. The research topics of his lab are around hardware formal verification and there are multiple openings for PhD and postdoc.