|
Hongce Zhang is an Assistant Professor in the Microelectronics Thrust at Hong Kong University of Science and Technology (Guangzhou). He received his PhD from Princeton University in 2021. He works in hardware formal verification and logic synthesis, and has published more than 30 research papers in top EDA conferences. He was the chair of IEEE Council on EDA, Guangzhou Chapter in 2023 and has served on the program committee for international conferences, including DAC, CAV, ICCAD, ASPDAC, and the reviewer for TCAD, TODAES, TCAS-II etc.
|
